Substrate.Basic Module


This module defines the following types:

BasicSubstrateTerm Type

A BasicSubstrateTerm is a query term for the BasicSubstrate. It has a left side term, which can only be a variable (used for output) or a constant (used for comparison), and a right side term which can be a complex expression.

Implemented Interfaces

  • ISubstrateQueryTerm
  • ISubstrateTerm
  • ITerm

Methods

Modifiers Return type Method name Method parameters Description
string ToString
bool Equals Object
int GetHashCode

Properties

Return type Property name Description
ITerm Left The left side of the BasicSubstrateTerm. It can contain a variable (for output) or a constant (for comparison)
ITerm Right The right side of the BasicSubstrateTerm. It can contain a complex expression

 

BasicSubstrate Type

The BasicSubstrate is a calculator substrate that does not handle data. It can solve basic arithmetic computations. E.g., {| "basic" | Y := X + 10 |}

Implemented Interfaces

  • ISubstrate
 

ActivePatterns Type

Defines the public interface on how to pattern match AST elements defined for the BasicSubstrate

Methods

Modifiers Return type Method name Method parameters Description
static ITerm list option |AndBool|_| ITerm Matches a conjunction
static ITerm list option |OrBool|_| ITerm Matches a disjunction
static ISubstrateQueryTerm option |AsBoolean|_| ITerm Matches an asBoolean construct (used to nest queries)

 

Builders Type

Defines the public interface on how to construct AST elements defined in the BasicSubstrate

Methods

Modifiers Return type Method name Method parameters Description
static ITerm AndBool ITerm list Constructs a conjunction
static ITerm OrBool ITerm list Constructs a disjunction
static ITerm AsBoolean ISubstrateQueryTerm Constructs an AsBoolean expression (used for nested substrate queries)

 

BasicPrimitives Type

Defines the primitive functions used to construct Application elements in the BasicSubstrate builders

Methods

Modifiers Return type Method name Method parameters Description
static Function option SolveOverloadOperator string, IType Given an overloaded function name and the type of one of its parameters it looks the type information to see if there is a match.

 

Automatically generated on 6/10/2011 2:28:40 PM
 

Last edited Jun 10, 2011 at 10:37 PM by gdecaso, version 3

Comments

No comments yet.