de.uka.ilkd.key.rule.metaconstruct

Class BreakToBeReplaced

java.lang.Object

de.uka.ilkd.key.rule.metaconstruct.BreakToBeReplaced

class BreakToBeReplaced
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private Break	brk
private ProgramVariable	pvar

Constructor Summary

Constructors

Constructor and Description
BreakToBeReplaced(Break brk)
BreakToBeReplaced(Break brk, ProgramVariable pvar)

Method Summary

Modifier and Type	Method and Description
(package private) Break	getBreak()
(package private) ProgramVariable	getProgramVariable()
(package private) void	setProgramVariable(ProgramVariable pvar)

Methods inherited from class java.lang.Object

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

Field Detail

brk

private Break brk

pvar

private ProgramVariable pvar

Constructor Detail

BreakToBeReplaced

public BreakToBeReplaced(Break brk,
                         ProgramVariable pvar)

BreakToBeReplaced

public BreakToBeReplaced(Break brk)

Method Detail

getBreak

Break getBreak()

getProgramVariable

ProgramVariable getProgramVariable()

setProgramVariable

void setProgramVariable(ProgramVariable pvar)