Skip navigation links
de.uka.ilkd.key.java.recoderext

Class ConstructorNormalformBuilder

    • Field Detail

      • CONSTRUCTOR_NORMALFORM_IDENTIFIER

        public static final java.lang.String CONSTRUCTOR_NORMALFORM_IDENTIFIER
        See Also:
        Constant Field Values
      • OBJECT_INITIALIZER_IDENTIFIER

        public static final java.lang.String OBJECT_INITIALIZER_IDENTIFIER
        See Also:
        Constant Field Values
    • Method Detail

      • analyze

        public ProblemReport analyze()
        Two-pass transformation have to be strictly divided up into two parts. the first part analyzes the model and collects all necessary information. In this case all class declarations are examined and initializers as well as constructors are collected. All actions, which may cause a recoder model update have to be done here.
        Overrides:
        analyze in class TwoPassTransformation
        Returns:
        status report if analyze encountered problems or not

Copyright © 2003-2019 The KeY-Project.