|
|||||||||
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.If
public class If
An if instruction.
Extends abstract Instruction class.
Constructor Summary | |
---|---|
If(Formula pCondition,
Statements pThenBranch,
Statements pElseBranch)
Constructs a new If 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 If Statement clashes with a signature if any of its condition, if branch or else branch clash with the signature. |
java.lang.String |
display()
Returns a String to display the if instruction. |
Formula |
getCondition()
Returns the boolean condition of the if instruction. |
Statements |
getElse()
Returns the code for the else part of the if instruction. |
Statements |
getThen()
Returns the code for the then part of the if instruction. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public If(Formula pCondition, Statements pThenBranch, Statements pElseBranch)
pCondition
- the boolean condition formula of the if instructionpThenBranch
- the code for the then part of the if statementpElseBranch
- the code for the else part of the if statementMethod Detail |
---|
public Formula getCondition()
public Statements getThen()
public Statements getElse()
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 |