FrameIT
OnCircleFact Class Reference

A PointFact on a CircleFact More...

Inheritance diagram for OnCircleFact:
FactWrappedCRTP< OnCircleFact >

Public Member Functions

 OnCircleFact ()
 
 OnCircleFact (string pid, string cid)
 Standard Constructor: Initiates Pid, Rid, Fact._URI and creates MMT Fact Server-Side More...
 
 OnCircleFact (string pid, string cid, SOMDoc _ServerDefinition)
 Bypasses initialization of new MMT Fact by using existend URI, which is not checked for existence. More...
 
override MMTFact MakeMMTDeclaration ()
 
override SOMDoc Defines ()
 
- Public Member Functions inherited from FactWrappedCRTP< OnCircleFact >
override bool Equivalent (Fact f2)
 Compares this against f2 . More...
 
override bool Equivalent (Fact f1, Fact f2)
 Compares f1 against f2 . More...
 

Static Public Member Functions

static new IEnumerator parseFact (List< Fact > ret, MMTFact fact)
 

Public Attributes

string Pid
 the point on the circle More...
 
string Cid
 the circle, which the point is on More...
 

Protected Member Functions

override void RecalculateTransform ()
 
override string generateLabel (FactRecorder name_space)
 auto-generates GetLabel using generation variable(s) e.g. LabelId; if custom GetLabel is set, tries to restore original generated GetLabel without resetting _CustomLabel. If original GetLabel is already taken, a new one will be generated. More...
 
override string[] GetDependentFactIds ()
 
override bool EquivalentWrapped (OnCircleFact c1, OnCircleFact c2)
 Compares f1 against f2 . More...
 
override Fact _ReInitializeMe (Dictionary< string, string > old_to_new)
 
- Protected Member Functions inherited from FactWrappedCRTP< OnCircleFact >
 FactWrappedCRTP ()
 
abstract bool EquivalentWrapped (T f1, T f2)
 CRTP step of Equivalent(Fact) and Equivalent(Fact, Fact) More...
 
bool DependentFactsEquivalent (T f1, T f2)
 

Properties

PointFact Point [get]
 
CircleFact Circle [get]
 
override bool HasDependentFacts [get]
 

Detailed Description

Constructor & Destructor Documentation

◆ OnCircleFact() [1/3]

OnCircleFact.OnCircleFact ( )

Only being used by JsonReader to initiate empty Facts.

See also
SOMDocManager

◆ OnCircleFact() [2/3]

OnCircleFact.OnCircleFact ( string  pid,
string  cid 
)

Standard Constructor: Initiates Pid, Rid, Fact._URI and creates MMT Fact Server-Side

Parameters
pidsets Pid
cidsets Cid

◆ OnCircleFact() [3/3]

OnCircleFact.OnCircleFact ( string  pid,
string  cid,
SOMDoc  _ServerDefinition 
)

Bypasses initialization of new MMT Fact by using existend URI, which is not checked for existence.

Parameters
pidsets Pid
cidsets Cid
uriMMT URI

Member Function Documentation

◆ _ReInitializeMe()

override Fact OnCircleFact._ReInitializeMe ( Dictionary< string, string >  old_to_new)
protected

◆ Defines()

override SOMDoc OnCircleFact.Defines ( )

◆ EquivalentWrapped()

override bool OnCircleFact.EquivalentWrapped ( OnCircleFact  c1,
OnCircleFact  c2 
)
protected

Compares f1 against f2 .

Parameters
f1Fact to compare to
f2Fact to compare to
Returns
true if f2 is semantical very similar to f1

◆ generateLabel()

override string OnCircleFact.generateLabel ( FactRecorder  name_space)
protected

auto-generates GetLabel using generation variable(s) e.g. LabelId; if custom GetLabel is set, tries to restore original generated GetLabel without resetting _CustomLabel. If original GetLabel is already taken, a new one will be generated.

Returns
auto-generated GetLabel

◆ GetDependentFactIds()

override string[] OnCircleFact.GetDependentFactIds ( )
protected

◆ MakeMMTDeclaration()

override MMTFact OnCircleFact.MakeMMTDeclaration ( )

◆ parseFact()

static new IEnumerator OnCircleFact.parseFact ( List< Fact ret,
MMTFact  fact 
)
static

◆ RecalculateTransform()

override void OnCircleFact.RecalculateTransform ( )
protected

Member Data Documentation

◆ Cid

string OnCircleFact.Cid

the circle, which the point is on

◆ Pid

string OnCircleFact.Pid

the point on the circle

Property Documentation

◆ Circle

CircleFact OnCircleFact.Circle
get

◆ HasDependentFacts

override bool OnCircleFact.HasDependentFacts
get

◆ Point

PointFact OnCircleFact.Point
get

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