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

\ 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7422 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-03-17 13:53:35 +00:00
parent 745d9a9fea
commit dd20d99240
2 changed files with 12 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
su4sml/src/ocl_parser/ocl.grm.sml
View File

@ -70,11 +70,12 @@ THIS POINTS HAVE TO BE NOTICED TO UNDERSTAND THE SEMANTICS OF:
*)
open library
open Rep_Core
open Rep_OclTerm
open Rep_OclType
open Context
open Ext_Library
exception NotYetSupported of string

17
su4sml/src/ocl_parser/ocl.lex.sml
View File

@ -1,8 +1,12 @@
functor OclParserLexFun(structure Tokens: OclParser_TOKENS)=
struct
structure UserDeclarations =
struct
(*****************************************************************************
* su4sml --- a SML repository for managing (Secure)UML/OCL models
* http://projects.brucker.ch/su4sml/
*
* .sml ---
* ocl.lex ---
* This file is part of su4sml.
*
* Copyright (c) 2005-2007, ETH Zurich, Switzerland
@ -39,10 +43,7 @@
******************************************************************************)
(* $Id$ *)
functor OclParserLexFun(structure Tokens: OclParser_TOKENS)=
struct
structure UserDeclarations =
struct
open Rep_OclTerm
open Rep_OclType
open Context
@ -3918,7 +3919,7 @@ let fun continue() = lex() in
) end )
val {fin,trans} = Vector.sub(Internal.tab, s)
val {fin,trans} = Unsafe.Vector.sub(Internal.tab, s)
val NewAcceptingLeaves = fin::AcceptingLeaves
in if l = !yybl then
if trans = #trans(Vector.sub(Internal.tab,0))
@ -3934,9 +3935,9 @@ let fun continue() = lex() in
yybl := size (!yyb);
scan (s,AcceptingLeaves,l-i0,0))
end
else let val NewChar = Char.ord(CharVector.sub(!yyb,l))
else let val NewChar = Char.ord(Unsafe.CharVector.sub(!yyb,l))
val NewChar = if NewChar<128 then NewChar else 128
val NewState = Vector.sub(trans, NewChar)
val NewState = Unsafe.Vector.sub(trans, NewChar)
in if NewState=0 then action(l,NewAcceptingLeaves)
else scan(NewState,NewAcceptingLeaves,l+1,i0)
end