FrameIT
Scroll.ScrollSymbolFact Class Reference
Inheritance diagram for Scroll.ScrollSymbolFact:
Scroll.ScrollFact

Public Member Functions

override String getType ()
 

Public Attributes

MMTTerm tp
 
MMTTerm df
 
- Public Attributes inherited from Scroll.ScrollFact
string kind
 
UriReference ref
 
string label
 

Detailed Description

Class used for deserializing incoming symbol-declarations from mmt

Member Function Documentation

◆ getType()

override String Scroll.ScrollSymbolFact.getType ( )
virtual

Implements Scroll.ScrollFact.

Member Data Documentation

◆ df

MMTTerm Scroll.ScrollSymbolFact.df

◆ tp

MMTTerm Scroll.ScrollSymbolFact.tp

The documentation for this class was generated from the following file: