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

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7857 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-05-02 14:31:14 +00:00
parent 2887fba15a
commit 25f7686a5c
1 changed files with 1 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
su4sml/src/wfcpog/rep_holocl.sml
View File

@ -252,18 +252,7 @@ open Rep_OclTerm
exception HolOcl_Helper_InvalidArguments of string
fun type_of_t (Literal (_,t)) = t
| type_of_t (CollectionLiteral (_,t)) = t
| type_of_t (If (_,_,_,_,_,_,t)) = t
| type_of_t (AssociationEndCall (_,_,_,t)) = t
| type_of_t (AttributeCall (_,_,_,t)) = t
| type_of_t (OperationCall (_,_,_,_,t)) = t
| type_of_t (OperationWithType(_,_,_,_,t)) = t
| type_of_t (Variable (_,t)) = t
| type_of_t (Let (_,_,_,_,_,t)) = t
| type_of_t (Iterate (_,_,_,_,_,_,_,_,t)) = t
| type_of_t (Iterator (_,_,_,_,_,_,t)) = t
| type_of_t (Predicate(_,_,_,_)) = Boolean
fun type_of_t term = Rep_OclHelper.type_of term
fun ocl_opcall (source:OclTerm) f args t = OperationCall (source, type_of_t source, f,
map (fn x => (x,type_of_t x)) args,