Uses of Class
model.Terminator

Packages that use Terminator

Package	Description
controller.syntax	This package is the syntax package of the controller package.
model	This package is the model package of the model-view-controller (MVC) pattern.

Uses of Terminator in controller.syntax

Fields in controller.syntax declared as Terminator

Modifier and Type	Field and Description
Terminator	JLPSSyntaxParser.terminator_return.terminator

Fields in controller.syntax with type parameters of type Terminator

Modifier and Type	Field and Description
ArrayList<Terminator>	JLPSSyntaxParser.postconditions_return.terminators

Uses of Terminator in model

Fields in model with type parameters of type Terminator

Modifier and Type	Field and Description
private List<Terminator>	Action.terminators

Constructor parameters in model with type arguments of type Terminator

Constructor and Description
Action(SimpleSentence action, List<Initiator> initiators, List<Terminator> terminators, Clause conditions, Clause conflicts) Constructor of the class.