Package daikon

Class VarInfoName.Simple

Object

VarInfoName

Simple

All Implemented Interfaces:

Serializable, Comparable<VarInfoName>

Direct Known Subclasses:

VarInfoName.QuantHelper.FreeVar

Enclosing class:

VarInfoName

@Interned
public static class VarInfoName.Simple
extends VarInfoName

A simple identifier like "a", etc.

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
String	name

Fields inherited from class VarInfoName

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

Constructor Summary

Constructors

Constructor	Description
Simple(String name)

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	esc_name_impl()	Returns the String representation of this name in the ESC style output format.
protected String	identifier_name_impl()	Returns the name using only letters, numbers, and underscores.
boolean	isLiteralConstant()	Returns true when this is "0", "-1", "1", etc.
protected String	java_name_impl(VarInfo v)	Return the String representation of this name in java format.
protected String	jml_name_impl(VarInfo v)	Returns the name in JML style output format.
protected String	name_impl()	Returns the String representation of this name in the default output format.
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.
protected static String	simplify_name_impl(String s, boolean prestate)

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, 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

name

public final String name

Constructor Detail

Simple

public Simple(String name)

Method Detail

isLiteralConstant

@Pure
public boolean isLiteralConstant()

Description copied from class: VarInfoName

Returns true when this is "0", "-1", "1", etc.

Overrides:

isLiteralConstant in class VarInfoName

Returns:

true when this is "0", "-1", "1", etc

repr_impl

protected String repr_impl(@GuardSatisfied @UnknownSignedness VarInfoName.Simple 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.Simple 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

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

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

simplify_name_impl

protected static String simplify_name_impl(String s,
                                           boolean prestate)

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

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

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

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