de.uka.ilkd.key.java.visitor

Class InnerBreakAndContinueReplacer.DefaultAction

java.lang.Object

de.uka.ilkd.key.java.visitor.InnerBreakAndContinueReplacer.DefaultAction

Enclosing class:

InnerBreakAndContinueReplacer

private abstract class InnerBreakAndContinueReplacer.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)