Package daikon
Class VarInfoName.Intersection
- Object
-
- VarInfoName
-
- VarInfoName.FunctionOfN
-
- Intersection
-
- All Implemented Interfaces:
Serializable
,Comparable<VarInfoName>
- Enclosing class:
- VarInfoName
@Interned public static class VarInfoName.Intersection extends VarInfoName.FunctionOfN
Intersection of two sequences. Extends FunctionOfN, and the only change is that it does special formatting for IOA.- 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.FunctionOfN
args, function
-
Fields inherited from class VarInfoName
debug, dkconfig_direct_orig, IDENTITY_TRANSFORMER, ORIG_THIS, testCall, THIS, ZERO
-
-
Constructor Summary
Constructors Constructor Description Intersection(VarInfoName seq1, VarInfoName seq2)
-
Method Summary
-
Methods inherited from class VarInfoName.FunctionOfN
accept, dbc_name_impl, esc_name_impl, getArg, identifier_name_impl, java_family_name_impl, java_name_impl, jml_name_impl, name_impl, repr_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, isLiteralConstant, isThis, java_name, jml_name, JMLElementCorrector, name, name_using, parse, replace, replaceAll, repr, simplify_name, simplify_name, toString
-
-
-
-
Constructor Detail
-
Intersection
public Intersection(VarInfoName seq1, VarInfoName seq2)
-
-