Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Sprache: Unknown

Columbo aufrufen.ast zum Wurzelverzeichnis wechselnPVS {PVS[53] Isabelle[73] C[99]}Datei anzeigen

class Simple
values
package = "simple";

--
-- The AST structures for the "Simple" language
--

types

Specification ::
defs : seq of Definition;

Definition = TypeDefinition | FunctionDefinition;

TypeDefinition ::
name : Identifier
type : Type;

FunctionDefinition ::
name : Identifier
params : seq of Parameter
body : Expression;

Parameter ::
name : Identifier
type : Type;

Type = BasicType | Identifier;

BasicType = <REAL> | <INT> | <NAT> | <BOOL>;

Expression =
LetExpression |
IfExpression |
CasesExpression |
ApplyExpression |
BinaryExpression |
UnaryExpression |
LiteralExpression |
VariableExpression;

Identifier ::
name : seq of char;

VariableExpression ::
name : Identifier;

UnaryExpression ::
op : UnaryOperator
exp : Expression;

UnaryOperator = <NOT> | <PLUS> | <MINUS>;

LiteralExpression =
RealLiteralExpression |
IntegerLiteralExpression |
BooleanLiteralExpression;

RealLiteralExpression ::
value : real;

IntegerLiteralExpression ::
value : int;

BooleanLiteralExpression ::
value : bool;

BinaryExpression ::
lhs : Expression
op : BinaryOperator
rhs : Expression;

BinaryOperator = <AND> | <EQUIVALENT> | <IMPLIES> | <OR> | <EQUALS> | <NE> |
<DIV> | <DIVIDE> | <GE> | <GT> | <LE> | <LT> | <MOD> | <PLUS> |
<REM> | <MINUS> | <TIMES>;

LetExpression ::
defs : seq of LocalDefinition
body : Expression;

LocalDefinition ::
name : Identifier
value : Expression;

ApplyExpression ::
func : Expression
args : seq of Expression;

IfExpression ::
test : Expression
thn : Expression
elif : seq of ElseIfExpression
ese : Expression;

ElseIfExpression ::
test : Expression
thn : Expression;

CasesExpression ::
test : Expression
alts : seq of CaseAlternative
deflt : [Expression];

CaseAlternative ::
test : Expression
exp : Expression;

end Simple

[ Original von:0.84Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt. ]