Uses of Interface
dev.civl.abc.ast.value.IF.Value

Packages that use Value

Package	Description
dev.civl.abc.ast.entity.IF	Submodule ast.entity defines entities (objects of type Entity), the abstract things such as types, structures, unions, enumerations, objects (variables), functions, and so on, which can be named by identifiers in a program.
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.
dev.civl.abc.ast.type.IF	The ast.type submodule defines the (abstract) types that can be specified in a program.
dev.civl.abc.ast.value.IF	The ast.value submodule defines classes for representing constant values that can occur in a program, such as numeric literals, characters, strings, pointer constants, and so on.

Uses of Value in dev.civl.abc.ast.entity.IF

Methods in dev.civl.abc.ast.entity.IF that return types with arguments of type Value

Modifier and Type	Method	Description
Iterator<Value>	Variable.getConstantAlignments()	An object declaration may contain any number of alignment specifiers.

Methods in dev.civl.abc.ast.entity.IF with parameters of type Value

Modifier and Type	Method	Description
void	Variable.addConstantAlignment(Value constant)	Adds a constant to the list of alignment constants assocaited to this variable.

Uses of Value in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return Value

Modifier and Type	Method	Description
Value	NodeFactory.getConstantValue(ExpressionNode expression)	If the expression can be evaluated statically to yield a constant value, this method returns that value, else it returns null.

Methods in dev.civl.abc.ast.node.IF with parameters of type Value

Modifier and Type	Method	Description
void	NodeFactory.setConstantValue(ExpressionNode expression, Value value)	If for some reason you know what the constant value of a node is supposed to be, tell it by invoking this method.

Uses of Value in dev.civl.abc.ast.node.IF.expression

Methods in dev.civl.abc.ast.node.IF.expression that return Value

Modifier and Type	Method	Description
Value	ConstantNode.getConstantValue()	Returns the actual constant value, obtained by evaluating this constant expression.

Uses of Value in dev.civl.abc.ast.type.IF

Methods in dev.civl.abc.ast.type.IF that return Value

Modifier and Type	Method	Description
Value	Field.getBitWidth()	Returns the integer bit width constant value, or null if a bit width is not specified.
Value	Enumerator.getValue()	Returns the optional constant integer value assigned to this enumerator, or null if this is missing.

Methods in dev.civl.abc.ast.type.IF with parameters of type Value

Modifier and Type	Method	Description
Enumerator	TypeFactory.newEnumerator(EnumeratorDeclarationNode declaration, EnumerationType enumeration, Value value)	Creates a new enumerator entity.
Field	TypeFactory.newField(FieldDeclarationNode declaration, ObjectType type, Value bitWidth)	Creates a new field entity.

Uses of Value in dev.civl.abc.ast.value.IF

Subinterfaces of Value in dev.civl.abc.ast.value.IF

Modifier and Type	Interface	Description
interface	AddressValue	A value of the form "invalid input: '&'(lhs)", where lhs is a left hand side expression.
interface	ArrayElementReference
interface	ArrayValue
interface	CastValue	A value obtained by casting a value to a new type.
interface	CharacterValue
interface	ComplexFloatingValue
interface	CompoundValue
interface	FloatingValue
interface	FunctionReference
interface	IntegerValue
interface	MemberReference
interface	OperatorValue
interface	RealFloatingValue
interface	StringValue
interface	StructureValue
interface	TypeValue	A value which is a function of a type, such as "sizeof(type)" or "_Alignof(type)".
interface	UnionValue
interface	VariableReference

Methods in dev.civl.abc.ast.value.IF that return Value

Modifier and Type	Method	Description
Value	ValueFactory.evaluate(ExpressionNode constantExpression)	Evaluates a constant expression.
Value	CastValue.getArgument()
Value	OperatorValue.getArgument(int index)	Returns the index-th argument, indexed from 0.
Value	ArrayValue.getElement(int index)
Value	ArrayElementReference.getIndex()
Value	StructureValue.getMember(int fieldIndex)
Value	StructureValue.getMember(Field field)
Value	UnionValue.getMemberValue()
Value	ValueFactory.sizeofValue(Type type)

Methods in dev.civl.abc.ast.value.IF with parameters of type Value

Modifier and Type	Method	Description
CastValue	ValueFactory.castValue(Type castType, Value argument)
ValueFactory.Answer	ValueFactory.isZero(Value value)	Is the value a zero value? Maybe, maybe not: how to deal? Thm prover time.
UnionValue	ValueFactory.newUnionValue(StructureOrUnionType unionType, Field field, Value memberValue)
OperatorValue	ValueFactory.operatorValue(Type type, OperatorNode.Operator operator, Value[] arguments)	The legal operators are: ADDRESSOF: invalid input: '&' pointer to object BITAND: invalid input: '&' bit-wise and BITCOMPLEMENT: ~ bit-wise complement BITOR: | bit-wise inclusive or BITXOR: ^ bit-wise exclusive or CONDITIONAL: ?: the conditional operator DEREFERENCE: * pointer dereference DIV: / numerical division EQUALS: == equality GT: > greater than GTE: >= greater than or equals LAND: invalid input: '&'invalid input: '&' logical and LOR: || logical or LT: invalid input: '<' less than LTE: invalid input: '<'= less than or equals MINUS: - binary subtraction (numbers and pointers) MOD: % integer modulus NEQ: != not equals NOT: ! logical not PLUS: + binary addition, numeric or pointer SHIFTLEFT: invalid input: '<'invalid input: '<' shift left SHIFTRIGHT: >> shift right SUBSCRIPT: [] array subscript TIMES: * numeric multiplication UNARYMINUS: - numeric negative UNARYPLUS // + numeric no-op
void	ArrayValue.setElement(int index, Value elementValue)
void	StructureValue.setMember(int index, Value memberValue)
void	StructureValue.setMember(Field field, Value memberValue)