Package edu.udel.cis.vsl.sarl.expr.common

Class CommonSymbolicConstant

java.lang.Object

edu.udel.cis.vsl.sarl.object.common.CommonSymbolicObject

edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression<SymbolicObject>

edu.udel.cis.vsl.sarl.expr.common.CommonSymbolicConstant

All Implemented Interfaces:

SymbolicConstant, SymbolicExpression, SymbolicObject

public class CommonSymbolicConstant
extends HomogeneousExpression<SymbolicObject>
implements SymbolicConstant

A "symbolic constant" is a symbol used in symbolic execution to represent an input value. It is "constant" in the sense that its value does not change in the course of an execution of the program. A symbolic constant is determined by two things: a name (which is a String), and a type (instance of SymbolicTypeIF). Two distinct symbolic constants may have the same name, but different types. Two symbolic constants are considered equal iff their names are equal and their types are equal. Symbolic constants are symbolic expressions and are therefore immutable.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Field Summary

Fields inherited from class edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression

debug

Constructor Summary

Constructors

Constructor	Description
CommonSymbolicConstant(StringObject name, SymbolicType type)	Constructs new CommonSymbolicConstant with given name and type.

Method Summary

Modifier and Type	Method	Description
StringObject	name()	Returns the name of this symbolic constant.

Methods inherited from class edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression

argument, arguments, atomString, canonizeChildren, containsQuantifier, containsSubobject, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, size, symbolicObjectKind, toStringBuffer, toStringBuffer1, toStringBufferLong, type

Methods inherited from class edu.udel.cis.vsl.sarl.object.common.CommonSymbolicObject

equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicConstant

type

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, size

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Constructor Details

CommonSymbolicConstant

public CommonSymbolicConstant(StringObject name,
 SymbolicType type)

Constructs new CommonSymbolicConstant with given name and type.

Parameters:

name - a non-null string object

type - a non-null type

Method Details

name

public StringObject name()

Description copied from interface: SymbolicConstant

Returns the name of this symbolic constant. This is a StringObject, which wraps a String in a SymbolicObject package.

Specified by:

name in interface SymbolicConstant

Returns:

the name of this symbolic constant