Skip to content

WebDSL-Exception-sig.stx

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

module signatures/WebDSL-Exception-sig

imports
  signatures/WebDSL-Action-sig
  signatures/WebDSL-Core-sig
  signatures/WebDSL-Lexical-sig
  signatures/WebDSL-UI-sig

signature

  sorts
    

  constructors
    Catch-Plhdr : Catch

signature

  constructors
    ThrowStatement : list(Exp) -> Statement
    ThrowTemplate : list(Exp) -> TemplateCall
    TryStatement : Block * list(Catch) -> Statement
    TryTemplate : Block * list(Catch) -> TemplateCall
    Catch : VarId * Sort * Block -> Catch