|
FrameIT
|
Public Member Functions | |
| override String | getType () |
Public Attributes | |
| MMTTerm | tp |
| MMTTerm | df |
Public Attributes inherited from Scroll.ScrollFact | |
| string | kind |
| UriReference | ref |
| string | label |
Class used for deserializing incoming symbol-declarations from mmt
|
virtual |
Implements Scroll.ScrollFact.
| MMTTerm Scroll.ScrollSymbolFact.df |
| MMTTerm Scroll.ScrollSymbolFact.tp |