daikon
Class VarInfoName.Slice

Object
  VarInfoName
      VarInfoName.Slice

All Implemented Interfaces:

Serializable, Comparable<VarInfoName>

Enclosing class:

VarInfoName

public static class VarInfoName.Slice
extends VarInfoName

A slice of elements from a sequence, like "sequence[i..j]".

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

VarInfoName	i
VarInfoName	j
VarInfoName.Elements	sequence

Fields inherited from class VarInfoName

debug, IDENTITY_TRANSFORMER, ORIG_THIS, testCall, THIS, ZERO

Constructor Summary

VarInfoName.Slice(VarInfoName.Elements sequence, VarInfoName i, VarInfoName j)

Method Summary

<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.
VarInfoName	getLowerBound()
VarInfoName	getSubscript(VarInfoName index)
VarInfoName	getUpperBound()
protected String	identifier_name_impl() Returns the name using only letters, numbers, and underscores.
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() return 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 String	slice_helper(OutputFormat format, VarInfo v)

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, equals, esc_name, getSliceBounds, hashCode, hasNode, hasNodeOfType, hasTypeOf, identifier_name, includesSimpleName, inOrderTraversal, inPrestateContext, intern, isAllPrestate, isApplySizeSafe, isLiteralConstant, isThis, java_name, jml_name, JMLElementCorrector, name_using, name, parse, replace, replaceAll, repr, simplify_name, simplify_name, toString

Methods inherited from class Object

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

Field Detail

sequence

public final VarInfoName.Elements sequence

i

public final VarInfoName i

j

public final VarInfoName j

Constructor Detail

VarInfoName.Slice

public VarInfoName.Slice(VarInfoName.Elements sequence,
                         VarInfoName i,
                         VarInfoName j)

Method Detail

repr_impl

protected String repr_impl()

Description copied from class: VarInfoName

return the name in a verbose debugging format. Cached by repr

Specified by:

repr_impl in class VarInfoName

name_impl

protected String name_impl()

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

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 java_name()

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 jml_name()

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 dbc_name()

Specified by:

dbc_name_impl in class VarInfoName

slice_helper

protected String slice_helper(OutputFormat format,
                              VarInfo v)

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 identifier_name()

Specified by:

identifier_name_impl in class VarInfoName

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)