TypeUpdateVisitor (DynamicJava API (dynamicjava-20110903-r5436))

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.rice.cs.dynamicjava.symbol.type
Class TypeUpdateVisitor

java.lang.Object
  edu.rice.cs.dynamicjava.symbol.type.TypeVisitorLambda<Type>
      edu.rice.cs.dynamicjava.symbol.type.TypeUpdateVisitor

All Implemented Interfaces:: TypeVisitor<Type>, Lambda<Type,Type>

public abstract class TypeUpdateVisitor
extends TypeVisitorLambda<Type>
extends TypeVisitorLambda<Type>

A depth-first visitor that makes an updated copy as it visits (by default). The type of the result is generally the same as that of the argument; where automatic recursion on a field of type T occurs, this must be true for T. Where no changes are made to a node, a new copy is not allocated. This visitor implements the visitor interface with methods that first update the children, and then call forCASEOnly(), passing in the values of the updated children. (CASE is replaced by the case name.) Override forCASE or forCASEOnly if you want to transform an AST subtree. There is no automatic delegation to more general cases, because each concrete case has a default implementation.

Constructor Summary
`TypeUpdateVisitor()`

Method Summary
`Type`	`forBooleanType(BooleanType that)` Methods to recur on each child.
`Type`	`forBooleanTypeOnly(BooleanType that)`
`Type`	`forBottomType(BottomType that)` Process an instance of BottomType.
`Type`	`forBottomTypeOnly(BottomType that)`
`Type`	`forByteType(ByteType that)` Process an instance of ByteType.
`Type`	`forByteTypeOnly(ByteType that)`
`Type`	`forCharType(CharType that)` Process an instance of CharType.
`Type`	`forCharTypeOnly(CharType that)`
`Type`	`forDoubleType(DoubleType that)` Process an instance of DoubleType.
`Type`	`forDoubleTypeOnly(DoubleType that)`
`Type`	`forFloatType(FloatType that)` Process an instance of FloatType.
`Type`	`forFloatTypeOnly(FloatType that)`
`Type`	`forIntersectionType(IntersectionType that)` Process an instance of IntersectionType.
`Type`	`forIntersectionTypeOnly(IntersectionType that, java.lang.Iterable<? extends Type> ofTypes_result)`
`Type`	`forIntType(IntType that)` Process an instance of IntType.
`Type`	`forIntTypeOnly(IntType that)`
`Type`	`forLongType(LongType that)` Process an instance of LongType.
`Type`	`forLongTypeOnly(LongType that)`
`Type`	`forNullType(NullType that)` Process an instance of NullType.
`Type`	`forNullTypeOnly(NullType that)`
`Type`	`forParameterizedClassType(ParameterizedClassType that)` Process an instance of ParameterizedClassType.
`Type`	`forParameterizedClassTypeOnly(ParameterizedClassType that, java.lang.Iterable<? extends Type> typeArguments_result)`
`Type`	`forRawClassType(RawClassType that)` Process an instance of RawClassType.
`Type`	`forRawClassTypeOnly(RawClassType that)`
`Type`	`forShortType(ShortType that)` Process an instance of ShortType.
`Type`	`forShortTypeOnly(ShortType that)`
`Type`	`forSimpleArrayType(SimpleArrayType that)` Process an instance of SimpleArrayType.
`Type`	`forSimpleArrayTypeOnly(SimpleArrayType that, Type ofType_result)`
`Type`	`forSimpleClassType(SimpleClassType that)` Process an instance of SimpleClassType.
`Type`	`forSimpleClassTypeOnly(SimpleClassType that)`
`Type`	`forTopType(TopType that)` Process an instance of TopType.
`Type`	`forTopTypeOnly(TopType that)`
`Type`	`forUnionType(UnionType that)` Process an instance of UnionType.
`Type`	`forUnionTypeOnly(UnionType that, java.lang.Iterable<? extends Type> ofTypes_result)`
`Type`	`forVarargArrayType(VarargArrayType that)` Process an instance of VarargArrayType.
`Type`	`forVarargArrayTypeOnly(VarargArrayType that, Type ofType_result)`
`Type`	`forVariableType(VariableType that)` Process an instance of VariableType.
`Type`	`forVariableTypeOnly(VariableType that)`
`Type`	`forVoidType(VoidType that)` Process an instance of VoidType.
`Type`	`forVoidTypeOnly(VoidType that)`
`Type`	`forWildcard(Wildcard that)` Process an instance of Wildcard.
`Type`	`forWildcardOnly(Wildcard that)`
`Type`	`recur(Type that)`
`java.lang.Iterable<? extends Type>`	`recurOnIterableOfWildcardExtendsType(java.lang.Iterable<? extends Type> that)`

Methods inherited from class edu.rice.cs.dynamicjava.symbol.type.TypeVisitorLambda
`value`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

TypeUpdateVisitor

public TypeUpdateVisitor()

Method Detail

forBooleanTypeOnly

public Type forBooleanTypeOnly(BooleanType that)

forCharTypeOnly

public Type forCharTypeOnly(CharType that)

forByteTypeOnly

public Type forByteTypeOnly(ByteType that)

forShortTypeOnly

public Type forShortTypeOnly(ShortType that)

forIntTypeOnly

public Type forIntTypeOnly(IntType that)

forLongTypeOnly

public Type forLongTypeOnly(LongType that)

forFloatTypeOnly

public Type forFloatTypeOnly(FloatType that)

forDoubleTypeOnly

public Type forDoubleTypeOnly(DoubleType that)

forNullTypeOnly

public Type forNullTypeOnly(NullType that)

forSimpleArrayTypeOnly

public Type forSimpleArrayTypeOnly(SimpleArrayType that,
                                   Type ofType_result)

forVarargArrayTypeOnly

public Type forVarargArrayTypeOnly(VarargArrayType that,
                                   Type ofType_result)

forSimpleClassTypeOnly

public Type forSimpleClassTypeOnly(SimpleClassType that)

forRawClassTypeOnly

public Type forRawClassTypeOnly(RawClassType that)

forParameterizedClassTypeOnly

public Type forParameterizedClassTypeOnly(ParameterizedClassType that,
                                          java.lang.Iterable<? extends Type> typeArguments_result)

forIntersectionTypeOnly

public Type forIntersectionTypeOnly(IntersectionType that,
                                    java.lang.Iterable<? extends Type> ofTypes_result)

forUnionTypeOnly

public Type forUnionTypeOnly(UnionType that,
                             java.lang.Iterable<? extends Type> ofTypes_result)

forVariableTypeOnly

public Type forVariableTypeOnly(VariableType that)

forTopTypeOnly

public Type forTopTypeOnly(TopType that)

forBottomTypeOnly

public Type forBottomTypeOnly(BottomType that)

forVoidTypeOnly

public Type forVoidTypeOnly(VoidType that)

forWildcardOnly

public Type forWildcardOnly(Wildcard that)

forBooleanType

public Type forBooleanType(BooleanType that)

Methods to recur on each child.

Specified by:: forBooleanType in interface TypeVisitor<Type>
Specified by:: forBooleanType in class TypeVisitorLambda<Type>