File: InfClass3.asn

package info (click to toggle)
erlang 1%3A11.b.2-4
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 54,332 kB
  • ctags: 138,013
  • sloc: erlang: 566,932; ansic: 185,450; makefile: 14,148; java: 7,835; sh: 7,307; lisp: 5,249; pascal: 3,225; perl: 2,290; asm: 1,325; cpp: 306; tcl: 245; csh: 29; python: 21; sed: 9
file content (36 lines) | stat: -rw-r--r-- 585 bytes parent folder | download | duplicates (17) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 
InfClass3 DEFINITIONS  ::=
BEGIN

FUNCTION ::= CLASS {
    &ArgumentType,
    &ResultType   DEFAULT NULL,
    &code         INTEGER
    }

ObjSet1 FUNCTION ::= { ... }

object1 FUNCTION ::= {
    &ArgumentType  INTEGER,
    &ResultType    INTEGER,
    &code          3
    }

object2 FUNCTION ::= {
    &ArgumentType  INTEGER,
    &ResultType    INTEGER,
    &code          2
    }


ObjSet2 FUNCTION ::= {
    object1 | object2 }

ParamType{FUNCTION:object} ::=SEQUENCE
{
   val1    INTEGER,
   val2    object.&ArgumentType
   }

parTypVal{FUNCTION:object2} ParamType ::= {1,2}
 
END