|
|||||||||
| 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 loop| Method Detail |
|---|
public Formula getCondition()
public Statements getCode()
public java.lang.String display()
display in class Instructionpublic java.lang.String clashes(PanSignature pSignature)
clashes in class InstructionpSignature - 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 | ||||||||