FrameIT
FunctionFact Class Reference

A function Func<object[], object[]> as Fact. More...

Inheritance diagram for FunctionFact:
FactWrappedCRTP< FunctionFact >

Public Member Functions

 FunctionFact ()
 
 FunctionFact (SOMDoc Function_SOMDoc)
 Standard Constructor: Initiates members and creates MMT Fact Server-Side More...
 
 FunctionFact (SOMDoc Function_SOMDoc, SOMDoc _ServerDefinition)
 Bypasses initialization of new MMT Fact by using existend URI, which is not checked for existence. More...
 
override int GetHashCode ()
 canonical More...
 
override MMTFact MakeMMTDeclaration ()
 
override SOMDoc Defines ()
 
- Public Member Functions inherited from FactWrappedCRTP< FunctionFact >
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

SOMDoc Function_SOMDoc
 MMT AST representing the function More...
 
Type[] Signature
 The signature of this function. More...
 
Func< object[], object[]> Function
 Encapsulated function. More...
 

Protected Member Functions

override object GetCompiledValue ()
 
override void RecalculateTransform ()
 
override string[] GetDependentFactIds ()
 
override bool EquivalentWrapped (FunctionFact f1, FunctionFact f2)
 
override Fact _ReInitializeMe (Dictionary< string, string > old_to_new)
 
- Protected Member Functions inherited from FactWrappedCRTP< FunctionFact >
 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

override bool HasDependentFacts [get]
 

Detailed Description

A function Func<object[], object[]> as Fact.

Constructor & Destructor Documentation

◆ FunctionFact() [1/3]

FunctionFact.FunctionFact ( )

Only being used by JsonReader to initiate empty Facts.

See also
SOMDocManager

◆ FunctionFact() [2/3]

FunctionFact.FunctionFact ( SOMDoc  Function_SOMDoc)

Standard Constructor: Initiates members and creates MMT Fact Server-Side

Parameters
Function_SOMDocsets Function_SOMDoc and contains the Abstract Syntax Tree

◆ FunctionFact() [3/3]

FunctionFact.FunctionFact ( SOMDoc  Function_SOMDoc,
SOMDoc  _ServerDefinition 
)

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

Parameters
function_expressionsets Function_expression and contains the Abstract Syntax Tree
uriMMT URI

Member Function Documentation

◆ _ReInitializeMe()

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

◆ Defines()

override SOMDoc FunctionFact.Defines ( )

◆ EquivalentWrapped()

override bool FunctionFact.EquivalentWrapped ( FunctionFact  f1,
FunctionFact  f2 
)
protected

◆ GetCompiledValue()

override object FunctionFact.GetCompiledValue ( )
protected

◆ GetDependentFactIds()

override string[] FunctionFact.GetDependentFactIds ( )
protected

◆ GetHashCode()

override int FunctionFact.GetHashCode ( )

canonical

Returns
unique-ish Hash

◆ MakeMMTDeclaration()

override MMTFact FunctionFact.MakeMMTDeclaration ( )

◆ parseFact()

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

◆ RecalculateTransform()

override void FunctionFact.RecalculateTransform ( )
protected

Member Data Documentation

◆ Function

Func<object[], object[]> FunctionFact.Function

Encapsulated function.

◆ Function_SOMDoc

SOMDoc FunctionFact.Function_SOMDoc

MMT AST representing the function

◆ Signature

Type [] FunctionFact.Signature

The signature of this function.

Property Documentation

◆ HasDependentFacts

override bool FunctionFact.HasDependentFacts
get


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