Package daikon

Class VarInfoName.Slice

Object

VarInfoName

Slice

All Implemented Interfaces:

Serializable, Comparable<VarInfoName>

Enclosing class:

VarInfoName

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

Fields

Modifier and Type	Field	Description
VarInfoName	i
VarInfoName	j
VarInfoName.Elements	sequence

Fields inherited from class VarInfoName

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

Constructor Summary

Constructors

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

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

sequence

public final VarInfoName.Elements sequence

i

public final VarInfoName i

j

public final VarInfoName j

Constructor Detail

Slice

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

Method Detail

repr_impl

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

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

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