Package de.uka.ilkd.key.util.removegenerics

Class ResolveTypeReference

java.lang.Object
recoder.kit.Transformation
recoder.kit.TwoPassTransformation
de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation
de.uka.ilkd.key.util.removegenerics.ResolveTypeReference
public class ResolveTypeReference extends GenericResolutionTransformation
Handle a type reference in the generic deletion process. If the type reference references a type avar or an array over tv, it must be replaced. if the type var is ("extends"-) bounded than with the first boundary(!) otherwise with java.lang.Object.

  • Field Summary

    Fields inherited from class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

    DEBUG_OUTPUT

    Fields inherited from class recoder.kit.Transformation

    EQUIVALENCE, IDENTITY, NO_PROBLEM

  • Constructor Summary

    Constructors
    Constructor
    Description
    ResolveTypeReference(recoder.java.reference.TypeReference reference, recoder.CrossReferenceServiceConfiguration sc)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    recoder.kit.ProblemReport
    analyze()
     
    void
    transform()
     

    Methods inherited from class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

    debugOut, targetType, toString

    Methods inherited from class recoder.kit.TwoPassTransformation

    execute

    Methods inherited from class recoder.kit.Transformation

    attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsBody, attachAsCondition, attachAsGuard, attachAsInitializer, attachAsLabel, attachAsMessage, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsUpdate, detach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsBody, doAttachAsCondition, doAttachAsGuard, doAttachAsInitializer, doAttachAsLabel, doAttachAsMessage, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsUpdate, doDetach, doReplace, getChangeHistory, getCrossReferenceSourceInfo, getNameInfo, getProblemReport, getProgramFactory, getServiceConfiguration, getSourceFileRepository, getSourceInfo, isVisible, replace, rollback, setProblemReport, setServiceConfiguration, toString

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • ResolveTypeReference

      public ResolveTypeReference(recoder.java.reference.TypeReference reference, recoder.CrossReferenceServiceConfiguration sc)

  • Method Details

    • analyze

      public recoder.kit.ProblemReport analyze()
      Overrides:
      analyze in class recoder.kit.TwoPassTransformation

    • transform

      public void transform()
      Overrides:
      transform in class recoder.kit.TwoPassTransformation