Package daikon

Class VarInfoName.Elements

Object

VarInfoName

Elements

All Implemented Interfaces:

Serializable, Comparable<VarInfoName>

Enclosing class:

VarInfoName

@Interned
public static class VarInfoName.Elements
extends VarInfoName

The elements of a container, like "term[]".

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class VarInfoName

VarInfoName.AbstractVisitor<T>, VarInfoName.Add, VarInfoName.BooleanAndVisitor, VarInfoName.Elements, VarInfoName.ElementsFinder, VarInfoName.Field, VarInfoName.Finder, VarInfoName.FunctionOf, VarInfoName.FunctionOfN, VarInfoName.InorderFlattener, VarInfoName.Intersection, VarInfoName.IsAllNonPoststateVisitor, VarInfoName.IsAllPrestateVisitor, VarInfoName.LexicalComparator, VarInfoName.NodeFinder, VarInfoName.NoReturnValue, VarInfoName.PostPreConverter, VarInfoName.Poststate, VarInfoName.Prestate, VarInfoName.QuantHelper, VarInfoName.QuantifierVisitor, VarInfoName.Replacer, VarInfoName.Simple, VarInfoName.SimpleNamesVisitor, VarInfoName.SizeOf, VarInfoName.Slice, VarInfoName.Subscript, VarInfoName.Transformer, VarInfoName.TypeOf, VarInfoName.Union, VarInfoName.Visitor<T>

Field Summary

Fields

Modifier and Type	Field	Description
VarInfoName	term

Fields inherited from class VarInfoName

debug, dkconfig_direct_orig, IDENTITY_TRANSFORMER, ORIG_THIS, testCall, THIS, ZERO

Constructor Summary

Constructors

Constructor	Description
Elements(VarInfoName term)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(VarInfoName.Visitor<T> v)	Accept the actions of a visitor.
protected String	dbc_name_impl(VarInfo v)	Return the name in the DBC style output format.
protected String	dbc_name_impl(String index, VarInfo v)
protected String	esc_name_impl()	Returns the String representation of this name in the ESC style output format.
protected String	esc_name_impl(String index)
VarInfoName	getLowerBound()
VarInfoName	getSubscript(VarInfoName index)
VarInfoName	getUpperBound()
protected String	identifier_name_impl()	Returns the name using only letters, numbers, and underscores.
protected String	identifier_name_impl(String index)
protected String	java_family_impl(OutputFormat format, VarInfo v, String index)
protected String	java_name_impl(VarInfo v)	Return the String representation of this name in java format.
protected String	java_name_impl(String index, VarInfo v)
protected String	jml_name_impl(VarInfo v)	Returns the name in JML style output format.
protected String	jml_name_impl(String index, VarInfo v)
protected String	name_impl()	Returns the String representation of this name in the default output format.
protected String	name_impl(String index)
protected String	repr_impl()	Returns the name in a verbose debugging format.
protected String	simplify_name_impl(boolean prestate)	Returns the String representation of this name in the simplify output format in either prestate or poststate context.

Methods inherited from class VarInfoName

applyAdd, applyDecrement, applyElements, applyField, applyFunction, applyFunctionOfN, applyFunctionOfN, applyIncrement, applyIntersection, applyPoststate, applyPrestate, applySize, applySlice, applySubscript, applyTypeOf, applyUnion, compareTo, dbc_name, equals, equalsVarInfoName, esc_name, getSliceBounds, hashCode, hasNode, hasNodeOfType, hasTypeOf, identifier_name, includesSimpleName, inOrderTraversal, inPrestateContext, intern, isAllPrestate, isApplySizeSafe, isLiteralConstant, isThis, java_name, jml_name, JMLElementCorrector, name, name_using, parse, replace, replaceAll, repr, simplify_name, simplify_name, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

term

public final VarInfoName term

Constructor Detail

Elements

public Elements(VarInfoName term)

Method Detail

repr_impl

protected String repr_impl(@GuardSatisfied @UnknownSignedness VarInfoName.Elements this)

Description copied from class: VarInfoName

Returns the name in a verbose debugging format. Cached by VarInfoName.repr().

Specified by:

repr_impl in class VarInfoName

Returns:

the name in a verbose debugging format

name_impl

protected String name_impl(@GuardSatisfied VarInfoName.Elements this)

Description copied from class: VarInfoName

Returns the String representation of this name in the default output format. Result is not interned; the client (name()) does so, then caches the interned value.

Specified by:

name_impl in class VarInfoName

name_impl

protected String name_impl(@GuardSatisfied VarInfoName.Elements this,
                           String index)

esc_name_impl

protected String esc_name_impl()

Description copied from class: VarInfoName

Returns the String representation of this name in the ESC style output format. Cached by VarInfoName.esc_name().

Specified by:

esc_name_impl in class VarInfoName

esc_name_impl

protected String esc_name_impl(String index)

simplify_name_impl

protected String simplify_name_impl(boolean prestate)

Description copied from class: VarInfoName

Returns the String representation of this name in the simplify output format in either prestate or poststate context.

Specified by:

simplify_name_impl in class VarInfoName

java_name_impl

protected String java_name_impl(VarInfo v)

Description copied from class: VarInfoName

Return the String representation of this name in java format. Cached and interned by VarInfoName.java_name(daikon.VarInfo).

Specified by:

java_name_impl in class VarInfoName

java_name_impl

protected String java_name_impl(String index,
                                VarInfo v)

jml_name_impl

protected String jml_name_impl(VarInfo v)

Description copied from class: VarInfoName

Returns the name in JML style output format. Cached and interned by VarInfoName.jml_name(daikon.VarInfo).

Specified by:

jml_name_impl in class VarInfoName

jml_name_impl

protected String jml_name_impl(String index,
                               VarInfo v)

dbc_name_impl

protected String dbc_name_impl(VarInfo v)

Description copied from class: VarInfoName

Return the name in the DBC style output format. If v is null, uses JML style instead. Cached and interned by VarInfoName.dbc_name(daikon.VarInfo).

Specified by:

dbc_name_impl in class VarInfoName

dbc_name_impl

protected String dbc_name_impl(String index,
                               VarInfo v)

java_family_impl

protected String java_family_impl(OutputFormat format,
                                  VarInfo v,
                                  String index)

identifier_name_impl

protected String identifier_name_impl(String index)

identifier_name_impl

protected String identifier_name_impl()

Description copied from class: VarInfoName

Returns the name using only letters, numbers, and underscores. Cached and interned by VarInfoName.identifier_name().

Specified by:

identifier_name_impl in class VarInfoName

Returns:

the name using only letters, numbers, and underscores

accept

public <T> T accept(VarInfoName.Visitor<T> v)

Description copied from class: VarInfoName

Accept the actions of a visitor.

Specified by:

accept in class VarInfoName

getLowerBound

public VarInfoName getLowerBound()

getUpperBound

public VarInfoName getUpperBound()

getSubscript

public VarInfoName getSubscript(VarInfoName index)