Public Member Functions | |
boolean | equals (Object c) |
Sentence | getCondition () |
Precondition () | |
Precondition (Sentence condition) | |
void | setCondition (Sentence condition) |
String | toString () |
Private Attributes | |
Sentence | condition = new Sentence() |
Definition at line 4 of file Precondition.java.
Definition at line 8 of file Precondition.java.
instruction.semanticObjects.Precondition.Precondition | ( | Sentence | condition | ) | [inline] |
Definition at line 11 of file Precondition.java.
boolean instruction.semanticObjects.Precondition.equals | ( | Object | c | ) | [inline] |
Definition at line 27 of file Precondition.java.
Definition at line 15 of file Precondition.java.
void instruction.semanticObjects.Precondition.setCondition | ( | Sentence | condition | ) | [inline] |
Definition at line 19 of file Precondition.java.
String instruction.semanticObjects.Precondition.toString | ( | ) | [inline] |
Definition at line 23 of file Precondition.java.
Sentence instruction.semanticObjects.Precondition.condition = new Sentence() [private] |
Definition at line 6 of file Precondition.java.