Package it.unive.lisa.symbolic.value
Class NullConstant
- java.lang.Object
-
- it.unive.lisa.symbolic.SymbolicExpression
-
- it.unive.lisa.symbolic.value.ValueExpression
-
- it.unive.lisa.symbolic.value.Constant
-
- it.unive.lisa.symbolic.value.NullConstant
-
- All Implemented Interfaces:
ScopedObject<SymbolicExpression>
public class NullConstant extends Constant
AConstant
that represent thenull
value.
-
-
Constructor Summary
Constructors Constructor Description NullConstant(CodeLocation location)
Builds a null constant.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
int
hashCode()
java.lang.String
toString()
-
Methods inherited from class it.unive.lisa.symbolic.value.Constant
accept, getValue, mightNeedRewriting, popScope, pushScope
-
Methods inherited from class it.unive.lisa.symbolic.value.ValueExpression
removeNegations
-
Methods inherited from class it.unive.lisa.symbolic.SymbolicExpression
getCodeLocation, getStaticType
-
-
-
-
Constructor Detail
-
NullConstant
public NullConstant(CodeLocation location)
Builds a null constant.- Parameters:
location
- the location where the expression is defined within the program
-
-