de.uka.ilkd.key.rule

Interface AbstractProgramElement

All Superinterfaces:

ModelElement, ProgramElement, SourceElement, SVSubstitute

All Known Implementing Classes:

SchemaTypeReference

public interface AbstractProgramElement
extends ProgramElement

Method Summary

Modifier and Type	Method and Description
ProgramElement	getConcreteProgramElement(Services services)

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit

Method Detail

getConcreteProgramElement

ProgramElement getConcreteProgramElement(Services services)