Package | Description |
---|---|
fmrisc.ProgramExplorer.Semantics |
Modifier and Type | Class and Description |
---|---|
class |
ClassMethodSymbol
A symbol denoting a class method.
|
class |
ObjectMethodSymbol
A symbol denoting an object method.
|
Modifier and Type | Method and Description |
---|---|
MethodSymbol |
Environment.getMethod(CallStatement call,
TypeExpression[] atypes)
Return symbol for a method called with arguments of denoted types
in current environment and annotate call with symbol.
|