Skip to content

Commit

Permalink
Improved performance, fixed bugs.
Browse files Browse the repository at this point in the history
git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1069 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
  • Loading branch information
Peter Aronsson committed Jan 16, 2004
1 parent d867b98 commit 1433ffc
Show file tree
Hide file tree
Showing 7 changed files with 559 additions and 424 deletions.
8 changes: 8 additions & 0 deletions modeq/absyn.rml
Expand Up @@ -349,6 +349,7 @@ module Absyn:
relation opt_path_string: Path option => string
relation path_string2 : (Path, string) => string
relation path_last_ident : Path => Ident
relation path_first_ident : Path => Ident
relation get_cref_from_exp : ( Exp ) => ComponentRef list
relation cref_get_first : ComponentRef => ComponentRef
relation join_paths: (Path, Path) => Path
Expand Down Expand Up @@ -429,6 +430,13 @@ relation path_last_ident : Path => Ident =

end

relation path_first_ident : Path => Ident =

axiom path_first_ident(QUALIFIED(n,p)) => n

axiom path_first_ident(IDENT(n)) => n
end

relation get_cref_from_exp: ( Exp ) => ComponentRef list =

axiom get_cref_from_exp(INTEGER(_)) => []
Expand Down
6 changes: 3 additions & 3 deletions modeq/absyn_builder/parse.cpp
Expand Up @@ -130,7 +130,7 @@ RML_BEGIN_LABEL(Parser__parse)
}
catch (...)
{
std::cerr << "Error while parsing\n";
//std::cerr << "Error while parsing\n";
}
std::cerr << "Exiting Parse" << std::endl;
RML_TAILCALLK(rmlFC);
Expand Down Expand Up @@ -188,7 +188,7 @@ RML_BEGIN_LABEL(Parser__parsestring)
}
catch (...)
{
std::cerr << "Error while parsing\n";
//std::cerr << "Error while parsing\n";
}
RML_TAILCALLK(rmlFC);
}
Expand Down Expand Up @@ -241,7 +241,7 @@ RML_BEGIN_LABEL(Parser__parsestringexp)
}
catch (...)
{
std::cerr << "Error while parsing expression\n";
//std::cerr << "Error while parsing expression\n";
}
RML_TAILCALLK(rmlFC);
}
Expand Down
1 change: 1 addition & 0 deletions modeq/cache.rml
Expand Up @@ -44,6 +44,7 @@ module Cache:

type Ident = string

type CachedEnv = Env.Env option

(** A cache has a handle, the rest is implemented in C++
**)
Expand Down

0 comments on commit 1433ffc

Please sign in to comment.