JSHOP2
Class LogicalExpressionNil
java.lang.Object
JSHOP2.CompileTimeObject
JSHOP2.LogicalExpression
JSHOP2.LogicalExpressionNil
public class LogicalExpressionNil
- extends LogicalExpression
Each empty logical expression at compile time is represented as an instance
of this class.
- Version:
- 1.0.3
- Author:
- Okhtay Ilghami, http://www.cs.umd.edu/~okhtay
Method Summary |
java.lang.String |
getInitCode()
This class does not need any initialization code, therefore, this
function simply returns an empty String . |
protected LogicalExpression |
getNNF(boolean negated)
|
protected void |
propagateVarCount(int varCount)
This class does not need to propagate the variable count, therefore, this
function does nothing. |
java.lang.String |
toCode()
This function produces the Java code to create a
PreconditionNil object that represents this empty logical
expression at run time. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LogicalExpressionNil
public LogicalExpressionNil()
getInitCode
public java.lang.String getInitCode()
- This class does not need any initialization code, therefore, this
function simply returns an empty
String
.
- Specified by:
getInitCode
in class LogicalExpression
- Returns:
- the produced code as a
String
.
getNNF
protected LogicalExpression getNNF(boolean negated)
propagateVarCount
protected void propagateVarCount(int varCount)
- This class does not need to propagate the variable count, therefore, this
function does nothing.
- Specified by:
propagateVarCount
in class LogicalExpression
- Parameters:
varCount
- the number of variables for this logical expression.
toCode
public java.lang.String toCode()
- This function produces the Java code to create a
PreconditionNil
object that represents this empty logical
expression at run time.
- Specified by:
toCode
in class CompileTimeObject
- Returns:
- the produced code as a
String
.