Inheritance diagram for instruction.semanticObjects.Postcondition:

Public Member Functions
boolean	equals (Object c)
Sentence	getCondition ()
	Postcondition ()
	Postcondition (Sentence condition)
void	setCondition (Sentence condition)
String	toString ()
Private Attributes
Sentence	condition = new Sentence()

Detailed Description

Definition at line 4 of file Postcondition.java.

Constructor & Destructor Documentation

instruction.semanticObjects.Postcondition.Postcondition ( ) [inline]

Definition at line 8 of file Postcondition.java.

instruction.semanticObjects.Postcondition.Postcondition ( Sentence condition ) [inline]

Definition at line 11 of file Postcondition.java.

boolean instruction.semanticObjects.Postcondition.equals ( Object c ) [inline]

Definition at line 27 of file Postcondition.java.

Sentence instruction.semanticObjects.Postcondition.getCondition ( ) [inline]

Definition at line 15 of file Postcondition.java.

void instruction.semanticObjects.Postcondition.setCondition ( Sentence condition ) [inline]

Definition at line 19 of file Postcondition.java.

String instruction.semanticObjects.Postcondition.toString ( ) [inline]

Definition at line 23 of file Postcondition.java.

Definition at line 6 of file Postcondition.java.

The documentation for this class was generated from the following file: