de.uka.ilkd.key.rule.metaconstruct

Class WhileLoopTransformation.DefaultAction

java.lang.Object

de.uka.ilkd.key.rule.metaconstruct.WhileLoopTransformation.DefaultAction

Enclosing class:

WhileLoopTransformation

private abstract class WhileLoopTransformation.DefaultAction
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DefaultAction()

Method Summary

Modifier and Type	Method and Description
private void	addNewChild(ExtList changeList)
(package private) abstract ProgramElement	createNewElement(ExtList changeList)
void	doAction(ProgramElement x)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultAction

private DefaultAction()

Method Detail

createNewElement

abstract ProgramElement createNewElement(ExtList changeList)

addNewChild

private void addNewChild(ExtList changeList)

doAction

public void doAction(ProgramElement x)