|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.CompileTimeObject
JSHOP2.LogicalPrecondition
public class LogicalPrecondition
Each logical precondition at compile time is represented as an instance of this class.
Field Summary | |
---|---|
private boolean |
first
Whether or not this logical precondition is marked :first . |
private java.lang.String |
func
The name of the function used in a :sort-by logical
precondition. |
private LogicalExpression |
le
The logical expression this class represents. |
Fields inherited from class JSHOP2.CompileTimeObject |
---|
endl |
Constructor Summary | |
---|---|
LogicalPrecondition(LogicalExpression leIn,
boolean firstIn)
To initialize this logical precondition. |
|
LogicalPrecondition(LogicalExpression leIn,
java.lang.String funcIn)
To initialize this logical precondition. |
Method Summary | |
---|---|
boolean |
getFirst()
To check whether or not this logical precondition is marked :first . |
java.lang.String |
getInitCode()
This function produces Java code that implements the class any object of which can be used at run time to represent this logical precondition. |
void |
setVarCount(int varCount)
This function is used to set the number of variables for this logical precondition. |
java.lang.String |
toCode()
This function produces the Java code to create an object that represents this logical precondition at run time. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private boolean first
:first
.
private java.lang.String func
:sort-by
logical
precondition.
private LogicalExpression le
Constructor Detail |
---|
public LogicalPrecondition(LogicalExpression leIn, boolean firstIn)
leIn
- the logical expression this class represents.firstIn
- whether or not this logical precondition is marked
:first
.public LogicalPrecondition(LogicalExpression leIn, java.lang.String funcIn)
leIn
- the logical expression this class represents.funcIn
- the name of the function used in a :sort-by
logical
precondition.Method Detail |
---|
public boolean getFirst()
:first
.
true
if this logical precondition is marked
:first
, false
otherwise.public java.lang.String getInitCode()
public void setVarCount(int varCount)
varCount
- the number of variables for this logical precondition.public java.lang.String toCode()
toCode
in class CompileTimeObject
String
.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |