Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.recoderext | |
de.uka.ilkd.key.parser.proofjava |
Modifier and Type | Method and Description |
---|---|
ProgramElementName |
Recoder2KeYConverter.convert(ImplicitIdentifier id) |
Modifier and Type | Method and Description |
---|---|
ImplicitIdentifier |
ProofJavaProgramFactory.createImplicitIdentifier(java.lang.String text)
Create an
ImplicitIdentifier . |
ImplicitIdentifier |
SchemaJavaProgramFactory.createImplicitIdentifier(java.lang.String text)
Create an
ImplicitIdentifier . |
ImplicitIdentifier |
ImplicitIdentifier.deepClone()
Deep clone.
|
Modifier and Type | Method and Description |
---|---|
static ImplicitIdentifier |
ProofJavaParser.ImplicitIdentifier()
an implicit identifier is embraced by "<" and ">"
To make sure "<a>" is an implicit identifier and "< a>" is not
the first "<" token can be tested whether the token IMPLICITIDENTIFIER
had been found and reduced to "<".
|
Copyright © 2003-2019 The KeY-Project.