Static Semantic Rules have names and typically are defined using an algorithm.

Named Static Semantic Rules are associated with grammar productions

and a production that has multiple alternative definitions will typically have

for each alternative a distinct algorithm

for each applicable named static semantic rule.

Named Static Semantic Rule(s)

- grammar production(s)

- alternative definition

- algorithm

- alternative definition

- algorithm

- alternative definition

- algorithm

仕様書での記述

static semantics 1

grammar production A

alternative1

algo

alternative2

algo

static semantics 2

grammar production A

alternative1

algo

alternative2

algo

構造A

grammar production A

alternative definition 1

algo for static semantics 1

algo for static semantics 2

alternative definition 2

algo for static semantics 1

algo for static semantics 2

構造B

grammar production A

static semantics 1

algo for alternative1

algo for alternative2

static semantics 2

algo for alternative1

algo for alternative2