|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectRaptor.ProgramParser.Statements.Instruction
Raptor.ProgramParser.Statements.While
public class While
A while instruction.
Extends abstract Instruction class.
Constructor Summary | |
---|---|
While(Formula pCondition,
Statements pCode)
Constructs a new While instruction. |
Method Summary | |
---|---|
java.lang.String |
clashes(PanSignature pSignature)
Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String "" An While Statement clashes with a signature if any of its condition or code clash with the signature. |
java.lang.String |
display()
Returns a String to display the num term. |
Statements |
getCode()
Returns the code for the contents of the while loop. |
Formula |
getCondition()
Returns the boolean condition of the while instruction. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public While(Formula pCondition, Statements pCode)
pCondition
- the boolean condition formula of the while instructionpCode
- the code for the contents of the while loopMethod Detail |
---|
public Formula getCondition()
public Statements getCode()
public java.lang.String display()
display
in class Instruction
public java.lang.String clashes(PanSignature pSignature)
clashes
in class Instruction
pSignature
- PanSignature represents the PanSignature to be checked if this
Formula clashes with.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |