|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.CompileTimeObject
JSHOP2.LogicalExpression
JSHOP2.LogicalExpressionForAll
public class LogicalExpressionForAll
Each ForAll
logical expression at compile time is represented
as an instance of this class.
Field Summary | |
---|---|
private LogicalExpression |
consequence
The consequence of this ForAll logical expression. |
private LogicalExpression |
premise
The premise of this ForAll logical expression. |
Fields inherited from class JSHOP2.CompileTimeObject |
---|
endl |
Constructor Summary | |
---|---|
LogicalExpressionForAll(LogicalExpression premiseIn,
LogicalExpression consequenceIn)
To initialize this ForAll logical expression. |
Method Summary | |
---|---|
java.lang.String |
getInitCode()
This function produces Java code that implements the classes any object of which can be used at run time to represent the premise and the consequence of the ForAll logical expression this object is
representing. |
protected void |
propagateVarCount(int varCount)
To propagate the variable count to the ForAll logical
expression represented by this object. |
java.lang.String |
toCode()
This function produces the Java code to create a PreconditionForAll object that represents this
ForAll logical expression at run time. |
Methods inherited from class JSHOP2.LogicalExpression |
---|
getClassCnt, getVarCount, setVarCount |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private LogicalExpression consequence
ForAll
logical expression.
private LogicalExpression premise
ForAll
logical expression.
Constructor Detail |
---|
public LogicalExpressionForAll(LogicalExpression premiseIn, LogicalExpression consequenceIn)
ForAll
logical expression.
premiseIn
- the premise of this ForAll
logical expression.consequenceIn
- the consequence of this ForAll
logical expression.Method Detail |
---|
public java.lang.String getInitCode()
ForAll
logical expression this object is
representing.
getInitCode
in class LogicalExpression
String
.protected void propagateVarCount(int varCount)
ForAll
logical
expression represented by this object.
propagateVarCount
in class LogicalExpression
varCount
- the number of variables for this logical expression.public java.lang.String toCode()
PreconditionForAll
object that represents this
ForAll
logical expression at run time.
toCode
in class CompileTimeObject
String
.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |