Package | Description |
---|---|
de.uka.ilkd.key.java.recoderext |
Modifier and Type | Method and Description |
---|---|
SpecialReferenceWrapper |
SchemaJavaProgramFactory.createThisReference(TypeReference typeRef,
Expression var) |
SpecialReferenceWrapper |
SpecialReferenceWrapper.deepClone() |
Constructor and Description |
---|
SpecialReferenceWrapper(SpecialReferenceWrapper proto) |
Copyright © 2003-2019 The KeY-Project.