Skip to content

Commit

Permalink
Removed unused files, fixed prevent lookup of protected elts
Browse files Browse the repository at this point in the history
git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@891 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
  • Loading branch information
Peter Aronsson committed Jan 14, 2003
1 parent 49e5db5 commit f7a19d3
Show file tree
Hide file tree
Showing 6 changed files with 4 additions and 338 deletions.
2 changes: 1 addition & 1 deletion modeq/absyn.rml
Expand Up @@ -162,7 +162,7 @@ module Absyn:
| EQ_WHEN_E of Exp
* EquationItem list
* (Exp * EquationItem list) list (* else when *)
| EQ_NORETCALL of Ident * FunctionArgs (* fcalls without return value *)
| EQ_NORETCALL of Ident * FunctionArgs (* fcalls without return value *)

(** The `Equation' type describes one equation in an equation *)
(** section. *)
Expand Down
28 changes: 0 additions & 28 deletions modeq/class.rml

This file was deleted.

3 changes: 1 addition & 2 deletions modeq/inst.rml
Expand Up @@ -225,8 +225,7 @@ relation inst_class_in_program: (Env, SCode.Program, SCode.Path ) => (DAE.Elemen
inst_class_in_program(env,(c as SCode.CLASS(name,_,_,_,_))::cs, path as Absyn.IDENT(name2)) => dae
axiom inst_class_in_program(env,[],_) => []

rule Print.print_buf "inst_class_in_program failed\n env:\n" &
Env.print_env env
rule Print.print_buf "inst_class_in_program failed\n"
-------------------------------
inst_class_in_program(env,_,_) => fail

Expand Down
251 changes: 0 additions & 251 deletions modeq/lform.rml

This file was deleted.

3 changes: 2 additions & 1 deletion modeq/lookup.rml
Expand Up @@ -794,7 +794,8 @@ relation lookup_in_var: (Types.Type, Exp.ComponentRef)

(* Protected components *)
rule Types.lookup_component(ty, id)
=> (Types.VAR(_,_,true,_,_))
=> (Types.VAR(_,_,true,_,_)) &
Print.print_buf "- lookup of protected element not allowed\n"
------------------------------
lookup_in_var(ty, Exp.CREF_IDENT(id,ss))
=> fail
Expand Down
55 changes: 0 additions & 55 deletions modeq/modelica.rml

This file was deleted.

0 comments on commit f7a19d3

Please sign in to comment.