Package daikon

Class VarInfoName.QuantHelper.FreeVar

Object

VarInfoName

VarInfoName.Simple

FreeVar

All Implemented Interfaces:

Serializable, Comparable<VarInfoName>

Enclosing class:

VarInfoName.QuantHelper

public static class VarInfoName.QuantHelper.FreeVar
extends VarInfoName.Simple

A FreeVar is very much like a Simple, except that it doesn't care if it's in prestate or poststate for simplify formatting.

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 inherited from class VarInfoName.Simple

name

Fields inherited from class VarInfoName

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

Constructor Summary

Constructors

Constructor	Description
FreeVar(String name)

Method Summary

Modifier and Type	Method	Description
protected String	jml_name_impl(VarInfo v)	Returns the name in JML style 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.

Methods inherited from class VarInfoName.Simple

accept, dbc_name_impl, esc_name_impl, identifier_name_impl, isLiteralConstant, java_name_impl, name_impl, simplify_name_impl

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

Constructor Detail

FreeVar

public FreeVar(String name)

Method Detail

repr_impl

protected String repr_impl(@GuardSatisfied @UnknownSignedness VarInfoName.QuantHelper.FreeVar this)

Description copied from class: VarInfoName

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

Overrides:

repr_impl in class VarInfoName.Simple

Returns:

the name in a verbose debugging format

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).

Overrides:

jml_name_impl in class VarInfoName.Simple

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.

Overrides:

simplify_name_impl in class VarInfoName.Simple