de.uka.ilkd.key.rule.metaconstruct

Classes

• AddCast
• ArrayBaseInstanceOf
• ArrayLength
• ArrayPostDecl
• BreakToBeReplaced
• ConstantValue
• ConstructorCall
• CreateObject
• DoBreak
• EnhancedForElimination
• EnumConstantValue
• EvaluateArgs
• ExpandMethodBody
• ExpandQueriesMetaConstruct
• ForInitUnfoldTransformer
• ForToWhile
• ForToWhileTransformation
• InitArray
• InitArrayCreation
• IntroAtPreDefsOp
• IsStatic
• MemberPVToField
• MethodCall
• MultipleVarDecl
• PostWork
• ProgramTransformer
• ReplaceWhileLoop
• SpecialConstructorCall
• StaticInitialisation
• SwitchToIf
• TypeOf
• Unpack
• UnwindLoop
• WhileInvariantTransformation
• WhileInvariantTransformer
• WhileLoopTransformation