Package de.uzl.its.swat.symbolic.value
Class ValueFactory
java.lang.Object
de.uzl.its.swat.symbolic.value.ValueFactory
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic AbstractArrayValue<?,
?, ?, ?, ?> createArrayValue
(ValueType type, IntValue size, int address) static IntegerObjectValue
createIntegerObjectValue
(IntValue intValue, int address) static LongObjectValue
createLongObjectValue
(LongValue longValue, int address) static ObjectValue<?,
?> static NumericalValue<?,
?> createNumericalValue
(ValueType type, Object concrete) static ObjectArrayValue
createObjectArrayValue
(String type, IntValue dimensions) static ObjectValue<?,
?> createObjectValue
(int nFields, String className) static ObjectValue<?,
?> createObjectValue
(Object concrete, int address) static StringValue
createStringValue
(String concrete, int address) static LambdaObjectValue
getLambdaObjectValue
(int address, int parentAddress, int key)
-
Constructor Details
-
ValueFactory
public ValueFactory()
-
-
Method Details
-
createNumericalValue
-
createArrayValue
public static AbstractArrayValue<?,?, createArrayValue?, ?, ?> (ValueType type, IntValue size, int address) -
createObjectArrayValue
-
createStringValue
-
createObjectValue
-
createObjectValue
-
getLambdaObjectValue
-
createLongObjectValue
-
createIntegerObjectValue
-
createNULLValue
-