de.uka.ilkd.key.java.visitor

Class CreatingASTVisitor.ParameterDeclarationAction

java.lang.Object

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

de.uka.ilkd.key.java.visitor.CreatingASTVisitor.ParameterDeclarationAction

Enclosing class:

CreatingASTVisitor

private class CreatingASTVisitor.ParameterDeclarationAction
extends CreatingASTVisitor.DefaultAction

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ParameterDeclaration	x

Fields inherited from class de.uka.ilkd.key.java.visitor.CreatingASTVisitor.DefaultAction

pe

Constructor Summary

Constructors

Constructor and Description
ParameterDeclarationAction(ParameterDeclaration x)

Method Summary

Modifier and Type	Method and Description
(package private) ProgramElement	createNewElement(ExtList changeList)

Methods inherited from class de.uka.ilkd.key.java.visitor.CreatingASTVisitor.DefaultAction

addNewChild, doAction

Methods inherited from class java.lang.Object

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

Field Detail

x

ParameterDeclaration x

Constructor Detail

ParameterDeclarationAction

ParameterDeclarationAction(ParameterDeclaration x)

Method Detail

createNewElement

ProgramElement createNewElement(ExtList changeList)

Specified by:

createNewElement in class CreatingASTVisitor.DefaultAction