HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

added new type OclState 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7815 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2008-04-29 20:17:06 +00:00
parent 300e133fd5
commit aec7a75615
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
su4sml/src/rep_ocl.sml
View File

@ -48,7 +48,7 @@ sig
datatype OclType = Integer | Real | String | Boolean | OclAny
| Set of OclType | Sequence of OclType
| OrderedSet of OclType | Bag of OclType
| Collection of OclType
| Collection of OclType | OclState
| TupleType of (string * OclType) list
| Classifier of Path | OclVoid | DummyT | TemplateParameter of string
@ -145,7 +145,7 @@ datatype OclType = Integer | Real | String | Boolean | OclAny
| Set of OclType | Sequence of OclType
| OrderedSet of OclType | Bag of OclType
| Collection of OclType | OclVoid | DummyT
| TupleType of (string * OclType) list
| TupleType of (string * OclType) list | OclState
| Classifier of Path
| TemplateParameter of string