| de.uka.ilkd.key.java.recoderext.KeYCrossReferenceSourceInfo
All known Subclasses: de.uka.ilkd.key.java.recoderext.SchemaCrossReferenceSourceInfo,
| KeYCrossReferenceSourceInfo | | public class KeYCrossReferenceSourceInfo extends DefaultCrossReferenceSourceInfo (Code) | | |
| Field Summary | |
| public int | SLOPPY
Sloppy checking. | | public int | STRICT
Strict checking. |
| Method Summary | |
| public ClassType | getContainingClassType(ProgramElement context)
Returns the class type that contains the given program element.
Parameters:
context - a program element. | | public Type | getType(String name, ProgramElement context)
Tries to find a type with the given name using the given program element
as context. | | public Variable | getVariable(String name, ProgramElement context)
| | public void | initialize(ServiceConfiguration cfg)
Called by the service configuration indicating that all services
are known. | | public void | setNames2Vars(HashMap names2vars)
|
| SLOPPY | | public int SLOPPY(Code) | | Sloppy checking. Allows "broken links" during reference resolution.
|
| STRICT | | public int STRICT(Code) | | Strict checking. Does not allow "broken links" during reference
resolution.
|
| KeYCrossReferenceSourceInfo | | public KeYCrossReferenceSourceInfo(ServiceConfiguration config)(Code) | | |
| getContainingClassType | | public ClassType getContainingClassType(ProgramElement context)(Code) | | Returns the class type that contains the given program element.
Parameters:
context - a program element. the type to which the given program element belongs(may be null). |
| getType | | public Type getType(String name, ProgramElement context)(Code) | | Tries to find a type with the given name using the given program element
as context. Useful to check for name clashes when introducing a new
identifier. Neither name nor context may be null.
Parameters:
name - the name for the type to be looked up; may or may not bequalified.
Parameters:
context - a program element defining the lookup context (scope). the corresponding type (may be null). |
| getVariable | | public Variable getVariable(String name, ProgramElement context)(Code) | | |
| initialize | | public void initialize(ServiceConfiguration cfg)(Code) | | Called by the service configuration indicating that all services
are known. Services may now start communicating or linking among
their configuration partners. The service configuration can be
memorized if it has not been passed in by a constructor already.
Parameters:
cfg - the service configuration this services has been assigned to. |
|
|