|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Notation.NotationSpecification | |
---|---|
orbital.logic.sign | Defines generic interfaces for formal languages. |
orbital.logic.sign.concrete | Defines the concrete syntax of formal languages. |
orbital.moon.logic | Contains implementations of some logics as well as a logic and mathematical expression parser. |
Uses of Notation.NotationSpecification in orbital.logic.sign |
---|
Methods in orbital.logic.sign that return Notation.NotationSpecification | |
---|---|
Notation.NotationSpecification |
SymbolBase.getNotation()
|
Notation.NotationSpecification |
Symbol.getNotation()
Get the notation used when this symbol occurs. |
Methods in orbital.logic.sign with parameters of type Notation.NotationSpecification | |
---|---|
void |
SymbolBase.setNotation(Notation.NotationSpecification notation)
|
void |
Symbol.setNotation(Notation.NotationSpecification notation)
Set the notation used when this symbol occurs. |
Constructors in orbital.logic.sign with parameters of type Notation.NotationSpecification | |
---|---|
SymbolBase(java.lang.String signifier,
Type type,
Notation.NotationSpecification notation)
Construct a constant symbol with a signifier, type specification, and notation. |
|
SymbolBase(java.lang.String signifier,
Type type,
Notation.NotationSpecification notation,
boolean variable)
Construct a symbol with a signifier, type specification, and notation. |
Uses of Notation.NotationSpecification in orbital.logic.sign.concrete |
---|
Methods in orbital.logic.sign.concrete that return Notation.NotationSpecification | |
---|---|
static Notation.NotationSpecification |
Notation.getNotation(java.lang.Object compositor)
Get the default notation specification registered for a compositor. |
static Notation.NotationSpecification |
Notation.removeNotation(java.lang.Object f)
Remove any default notation specifications for a compositor. |
Methods in orbital.logic.sign.concrete with parameters of type Notation.NotationSpecification | |
---|---|
static boolean |
Notation.setNotation(java.lang.Object f,
Notation.NotationSpecification spec)
Sets/registers the default notation specification for a compositor. |
Uses of Notation.NotationSpecification in orbital.moon.logic |
---|
Methods in orbital.moon.logic with parameters of type Notation.NotationSpecification | |
---|---|
void |
UniqueSymbol.setNotation(Notation.NotationSpecification notation)
|
Constructors in orbital.moon.logic with parameters of type Notation.NotationSpecification | |
---|---|
UniqueSymbol(java.lang.String signifierPrefix,
Type type,
Notation.NotationSpecification notation,
boolean variable)
Create a new unique symbol of (display) signifier starting with signifierPrefix. |
|
UniqueSymbol(Type type,
Notation.NotationSpecification notation,
boolean variable)
|
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |