3 Abstract Syntax

struct
(struct FunctionDeclaration Declaration (locationnameargsbody)
#:extra-constructor-namemake-FunctionDeclaration )
location:(maybe/c region?)
name:Identifier?
args:(listof Identifier? )
body:(listof SourceElement? )

struct
(struct ImportDeclaration Declaration (locationspecifiers)
#:extra-constructor-namemake-ImportDeclaration )
location:(maybe/c region?)
specifiers:(listof ImportSpecifier? )

struct
(struct ExportDeclaration Declaration (locationspecifiers)
#:extra-constructor-namemake-ExportDeclaration )
location:(maybe/c region?)
specifiers:(listof (or/c ExclusionList? ReexportSpecifier? ExportBindings? Identifier? ))

struct
(struct VariableDeclaration Declaration (locationbindings)
#:extra-constructor-namemake-VariableDeclaration )
location:(maybe/c region?)
bindings:(nelistof/cVariableInitializer? )

struct
(struct LetDeclaration Declaration (locationbindings)
#:extra-constructor-namemake-LetDeclaration )
location:(maybe/c region?)

bindings :
(or/c (nelistof/cVariableInitializer? )
(nelistof/cFunctionDeclaration? ))

3.2Expressions🔗 i

struct
(struct Expression Term(location)
#:extra-constructor-namemake-Expression )
location:(maybe/c region?)

struct
(struct StringLiteral Expression (locationvalue)
#:extra-constructor-namemake-StringLiteral )
location:(maybe/c region?)
value:string?

struct
(struct RegexpLiteral Expression ( location
pattern
global?
case-insensitive?)
#:extra-constructor-namemake-RegexpLiteral )
location:(maybe/c region?)
pattern:string?
global?:boolean?
case-insensitive?:boolean?

struct
(struct NumericLiteral Expression (locationvalue)
#:extra-constructor-namemake-NumericLiteral )
location:(maybe/c region?)
value:number?

struct
(struct BooleanLiteral Expression (locationvalue)
#:extra-constructor-namemake-BooleanLiteral )
location:(maybe/c region?)
value:boolean?

struct
(struct NullLiteral Expression (location)
#:extra-constructor-namemake-NullLiteral )
location:(maybe/c region?)

struct
(struct ArrayLiteral Expression (locationelements)
#:extra-constructor-namemake-ArrayLiteral )
location:(maybe/c region?)
elements:(listof (maybe/c Expression/X? ))

struct
(struct ObjectLiteral Expression (locationproperties)
#:extra-constructor-namemake-ObjectLiteral )
location:(maybe/c region?)
properties:(listof (cons/c Property? Expression/X? ))

struct
(struct ThisReference Expression (location)
#:extra-constructor-namemake-ThisReference )
location:(maybe/c region?)

struct
(struct VarReference Expression (locationid)
#:extra-constructor-namemake-VarReference )
location:(maybe/c region?)
id:Identifier?

struct
(struct BracketReference Expression (locationcontainerkey)
#:extra-constructor-namemake-BracketReference )
location:(maybe/c region?)
container:Expression/X?
key:Expression/X?

struct
(struct DotReference Expression (locationcontainerid)
#:extra-constructor-namemake-DotReference )
location:(maybe/c region?)
container:Expression/X?
id:Identifier?

struct
(struct NewExpression Expression (locationconstructorarguments)
#:extra-constructor-namemake-NewExpression )
location:(maybe/c region?)
constructor:Expression/X?
arguments:ExpressionList/X?

struct
(struct PostfixExpression Expression (locationexpressionoperator)
#:extra-constructor-namemake-PostfixExpression )
location:(maybe/c region?)
expression:Expression/X?
operator:PostfixOperator/c

struct
(struct PrefixExpression Expression (locationoperatorexpression)
#:extra-constructor-namemake-PrefixExpression )
location:(maybe/c region?)
operator:PrefixOperator/c
expression:Expression/X?

struct
(struct InfixExpression Expression (locationleftoperatorright)
#:extra-constructor-namemake-InfixExpression )
location:(maybe/c region?)
left:Expression/X?
operator:InfixOperator/c
right:Expression/X?

struct
(struct ConditionalExpression Expression ( location
test
consequent
alternate)
#:extra-constructor-namemake-ConditionalExpression )
location:(maybe/c region?)
test:Expression/X?
consequent:Expression/X?
alternate:Expression/X?

struct
(struct AssignmentExpression Expression (locationlhsoperatorrhs)
#:extra-constructor-namemake-AssignmentExpression )
location:(maybe/c region?)
lhs:Expression/X?
operator:AssignmentOperator/c
rhs:Expression/X?

struct
(struct FunctionExpression Expression (locationnameargsbody)
#:extra-constructor-namemake-FunctionExpression )
location:(maybe/c region?)
name:(maybe/c Identifier? )
args:(listof Identifier? )
body:(listof SourceElement? )

struct
(struct LetExpression Expression (locationbindingsbody)
#:extra-constructor-namemake-LetExpression )
location:(maybe/c region?)
bindings:(listof VariableInitializer? )
body:Expression/X?

struct
(struct CallExpression Expression (locationmethodargs)
#:extra-constructor-namemake-CallExpression )
location:(maybe/c region?)
method:Expression/X?
args:ExpressionList/X?

struct
(struct ParenExpression Expression (locationexpression)
#:extra-constructor-namemake-ParenExpression )
location:(maybe/c region?)
expression:Expression/X?

struct
(struct ListExpression Expression (locationexpressions)
#:extra-constructor-namemake-ListExpression )
location:(maybe/c region?)
expressions:ExpressionList/X?

3.3Statements🔗 i

struct
(struct Statement Term(location)
#:extra-constructor-namemake-Statement )
location:(maybe/c region?)

struct
(struct BlockStatement Statement (locationstatements)
#:extra-constructor-namemake-BlockStatement )
location:(maybe/c region?)
statements:SubStatementList/X?

struct
(struct EmptyStatement Statement (location)
#:extra-constructor-namemake-EmptyStatement )
location:(maybe/c region?)

struct
(struct ExpressionStatement Statement (locationexpression)
#:extra-constructor-namemake-ExpressionStatement )
location:(maybe/c region?)
expression:Expression/X?

struct
(struct IfStatement Statement (locationtestconsequentalternate)
#:extra-constructor-namemake-IfStatement )
location:(maybe/c region?)
test:Expression/X?
consequent:SubStatement/X?
alternate:(maybe/c SubStatement/X? )

struct
(struct DoWhileStatement Statement (locationbodytest)
#:extra-constructor-namemake-DoWhileStatement )
location:(maybe/c region?)
body:SubStatement/X?
test:Expression/X?

struct
(struct WhileStatement Statement (locationtestbody)
#:extra-constructor-namemake-WhileStatement )
location:(maybe/c region?)
test:Expression/X?
body:SubStatement/X?

struct
(struct ForStatement Statement (locationinittestincrbody)
#:extra-constructor-namemake-ForStatement )
location:(maybe/c region?)
init:(or/c (maybe/c Expression/X? )VariableDeclaration? LetDeclaration? )
test:(maybe/c Expression/X? )
incr:(maybe/c Expression/X? )
body:SubStatement/X?

struct
(struct ForInStatement Statement (locationlhscontainerbody)
#:extra-constructor-namemake-ForInStatement )
location:(maybe/c region?)
lhs:(or/c Expression/X? VariableDeclaration? LetDeclaration? )
container:Expression/X?
body:SubStatement/X?

struct
(struct ContinueStatement Statement (locationlabel)
#:extra-constructor-namemake-ContinueStatement )
location:(maybe/c region?)
label:(maybe/c Identifier? )

struct
(struct BreakStatement Statement (locationlabel)
#:extra-constructor-namemake-BreakStatement )
location:(maybe/c region?)
label:(maybe/c Identifier? )

struct
(struct ReturnStatement Statement (locationvalue)
#:extra-constructor-namemake-ReturnStatement )
location:(maybe/c region?)
value:(maybe/c Expression/X? )

struct
(struct LetStatement Statement (locationbindingsbody)
#:extra-constructor-namemake-LetStatement )
location:(maybe/c region?)
bindings:(listof VariableInitializer? )
body:SubStatement/X?

struct
(struct WithStatement Statement (locationcontextbody)
#:extra-constructor-namemake-WithStatement )
location:(maybe/c region?)
context:Expression/X?
body:SubStatement/X?

struct
(struct SwitchStatement Statement (locationexpressioncases)
#:extra-constructor-namemake-SwitchStatement )
location:(maybe/c region?)
expression:Expression/X?
cases:(listof CaseClause? )

struct
(struct LabelledStatement Statement (locationlabelstatement)
#:extra-constructor-namemake-LabelledStatement )
location:(maybe/c region?)
label:Identifier?
statement:SubStatement/X?

struct
(struct ThrowStatement Statement (locationvalue)
#:extra-constructor-namemake-ThrowStatement )
location:(maybe/c region?)
value:Expression/X?

struct
(struct TryStatement Statement (locationbodycatchfinally)
#:extra-constructor-namemake-TryStatement )
location:(maybe/c region?)
body:Statement/X?
catch:(listof CatchClause? )
finally:(maybe/c Statement/X? )

3.4Miscellaneous Terms🔗 i

struct
(struct Identifier Term(locationname)
#:extra-constructor-namemake-Identifier )
location:(maybe/c region?)
name:symbol?

struct
(struct CaseClause Term(locationquestionanswer)
#:extra-constructor-namemake-CaseClause )
location:(maybe/c region?)
question:(maybe/c Expression/X? )
answer:SubStatementList/X?

struct
(struct CatchClause Term(locationidbody)
#:extra-constructor-namemake-CatchClause )
location:(maybe/c region?)
id:Identifier?
body:Statement/X?

struct
(struct VariableInitializer Term(locationidinit)
#:extra-constructor-namemake-VariableInitializer )
location:(maybe/c region?)
id:Identifier?
init:(maybe/c Expression/X? )

struct
(struct ImportSpecifier Term(locationmodulebindings)
#:extra-constructor-namemake-ImportSpecifier )
location:(maybe/c region?)
module:ModuleSpecifier?
bindings:(or/c Identifier? (listof ImportBinding? )ExclusionList? )

struct
(struct ImportBinding Term(locationlabelbinding)
#:extra-constructor-namemake-ImportBinding )
location:(maybe/c region?)
label:Identifier?
binding:(maybe/c Identifier? )

struct
(struct ExclusionList Term(locationids)
#:extra-constructor-namemake-ExclusionList )
location:(maybe/c region?)
ids:(listof Identifier? )

struct
(struct ModuleSpecifier Term(locationprotocolelements)
#:extra-constructor-namemake-ModuleSpecifier )
location:(maybe/c region?)
protocol:(or/c 'file'planet'collect)
elements:(listof (or/c string? integer? symbol? #f))

struct
(struct ReexportSpecifier Term(locationmoduleexclusions)
#:extra-constructor-namemake-ReexportSpecifier )
location:(maybe/c region?)
module:ModuleSpecifier?
exclusions:ExclusionList?

struct
(struct ExportBindings Term(locationbindings)
#:extra-constructor-namemake-ExportBindings )
location:(maybe/c region?)
bindings:(listof (cons/c Identifier? (maybe/c Expression/X? )))

3.5Utility Functions🔗 i

procedure
( has-location? x)→boolean?
x:Term?

Determines whether x has source location information.

procedure
( ast-location x)→region?
x:(and/c Term? has-location? )

procedure
( ast-source x)→any
x:(and/c Term? has-location? )

procedure
( ast-start x)→position?
x:(and/c Term? has-location? )

procedure
( ast-end x)→position?
x:(and/c Term? has-location? )

procedure
( @ start-termend-term)→region?
start-term:Term?
end-term:Term?

procedure
( with-location locx)→Term?
loc:(maybe/c region?)
x:Term?

procedure
( Property? x)→boolean?
x:Term?

Determines whether x can be used as a property name in an object literal.

procedure
( SubStatement? x)→boolean?
x:any

Determines whether x is a valid sub-statement, i.e., a statement not in the top-level position of a function or program.

procedure
( SourceElement? x)→boolean?
x:any

Determines whether x is a source element, i.e., a statement or declaration.

procedure
( Identifier=? xy)→boolean?
x:Identifier?
y:Identifier?

Compares x and y for name equality.

procedure
( Term=? xy)→boolean?
x:Term?
y:Term?

Recursively compares two terms, ignoring all source location information and comparing all non-Term components with equal? .

value
postfix-operators :(listof symbol? )

The postfix operators of JavaScript.

value
prefix-operators :(listof symbol? )

The prefix operators of JavaScript.

value
infix-operators :(listof symbol? )

The infix operators of JavaScript.

value
assignment-operators :(listof symbol? )

The assignment operators of JavaScript.

procedure
( assignment-operator->infix-operator op)
→(maybe/c infix-operator? )
op:assignment-operator?

Produces the binary infix operator corresponding to op.

procedure
( postfix-operator? x)→boolean?
x:any

Determines whether x is a JavaScript postfix operator.

procedure
( prefix-operator? x)→boolean?
x:any

Determines whether x is a JavaScript prefix operator.

procedure
( infix-operator? x)→boolean?
x:any

Determines whether x is a JavaScript infix operator.

procedure
( assignment-operator? x)→boolean?
x:any

Determines whether x is a JavaScript assignment operator.

value
PostfixOperator/c :flat-contract?

Contract form of postfix-operator? .

value
PrefixOperator/c :flat-contract?

Contract form of prefix-operator? .

value
InfixOperator/c :flat-contract?

Contract form of infix-operator? .

value
AssignmentOperator/c :flat-contract?

Contract form of assignment-operator? .

3.6Extending the Language🔗 i

Some libraries in this package support extending the language. The notions of expression, statement, expression list, and statement list can be extended by adding custom predicates to the following parameters:

value
Expression-predicates :(parameter/c (listof (any -> boolean? )))

value
Statement-predicates :(parameter/c (listof (any -> boolean? )))

value
ExpressionList-predicates
:(parameter/c (listof (any -> boolean? )))

value
StatementList-predicates
:(parameter/c (listof (any -> boolean? )))

The following predicates represent extensible terms by checking an argument against the standard predicates followed by the corresponding custom predicates:

procedure
( Expression/X? x)→boolean?
x:any

procedure
( Statement/X? x)→boolean?
x:any

procedure
( SubStatement/X? x)→boolean?
x:any

procedure
( ExpressionList/X? x)→boolean?
x:any

procedure
( StatementList/X? x)→boolean?
x:any

procedure
( SubStatementList/X? x)→boolean?
x:any

procedure
( Term/X? x)→boolean?
x:any

top ← prev up next →