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