The Fortress Language Specification - CiteSeerX

Value ::= Literal
| fn ValParam [IsType] [Throws] ⇒ Expr
| object [Extends] (FldDef | MdDef ) ∗ end
| Aggregate
| LeftEncloser ExprList RightEncloser
DottedName ::= DottedId
| opr Op
ExprList ::= Expr ( , Expr) ∗
AssignOp ::= := | Op =
Do ::= do BlockElem ∗ end
| do BlockElem + also Do
| at Expr Do
BlockElem ::= Expr[ , GeneratorList]
| LocalVarFnDecl
GeneratorList ::= Generator ( , Generator) ∗
Generator ::= Id ← Expr
| ( Id , IdList ) ← Expr
| Expr
IdList ::= Id
∑
( ,
∏
Id) ∗
Accumulator ::= | | BIG Op
Else ::= else Expr +
TypecaseBindings ::= Id
| Binding
| ( BindingList )
Binding ::= Id = Expr
BindingList ::= Binding (, Binding) ∗
TypecaseTypeRefs ::= TypeRef
| ( TypeRefList )
Aggregate ::= { [ExprList] }
| { EntryList }
| 〈 [ExprList] 〉
| [ (Expr | ; ) ∗ ]
| (Expr(,Expr) + )
| ([Expr( , Expr) ∗ , ] Expr ... )
| ([Expr( , Expr) ∗ , ] [Expr ... , ] Id = Expr ( , Id = Expr) ∗ )
EntryList ::= Entry ( , Entry) ∗
Entry ::= Expr ↦→ Expr
Comprehension ::= { Expr | GeneratorList }
| { Expr ↦→ Expr | GeneratorList }
| 〈 Expr | GeneratorList 〉
| [ (ArrayComprehensionLeft | GeneratorList) + ]
ArrayComprehensionLeft ::= Id ↦→ Expr
| ( Id , IdList ) ↦→ Expr
LocalVarFnDecl ::= LocalVarDecl
| Id ValParam [IsType] [Throws] = Expr
LocalVarDecl ::= LocalVars ( = | := ) Expr
| LocalVarWTypes
| LocalVarWoTypes : TypeRef ... [( = | := ) Expr]
| LocalVarWoTypes : SimpleTupleType [( = | := ) Expr]
LocalVars ::= LocalVar
| ( LocalVar (, LocalVar) + )
LocalVar ::= LocalVarWType
| LocalVarWoType
381