Skip to content

Commit

Permalink
Fixed bug in inst. DAE can not be generated for builtin types, but it…
Browse files Browse the repository at this point in the history
… is needed for looking up unit, quantity, etc. Do not know how to solve...

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1092 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
  • Loading branch information
Peter Aronsson committed Feb 3, 2004
1 parent d18d417 commit b6292ed
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions modeq/inst.rml
Expand Up @@ -447,6 +447,22 @@ relation inst_class_in: (Env, Mod, Prefix, Connect.Sets, ClassInf.State,
=> (DAE.Element list, Env, Connect.Sets, ClassInf.State,
Types.Var list) =

axiom inst_class_in(env,mods,pre,csets,ci_state,
c as SCode.CLASS("Real",_,_,_,_),_,_, impl,packimpl)
=> ([] (* No DAE *), env, [], ci_state, [])

axiom inst_class_in(env,mods,pre,csets,ci_state,
c as SCode.CLASS("Integer",_,_,_,_),_,_, impl,packimpl)
=> ([] (* No DAE *), env, [], ci_state, [])

axiom inst_class_in(env,mods,pre,csets,ci_state,
c as SCode.CLASS("String",_,_,_,_),_,_, impl,packimpl)
=> ([] (* No DAE *), env, [], ci_state, [])

axiom inst_class_in(env,mods,pre,csets,ci_state,
c as SCode.CLASS("Boolean",_,_,_,_),_,_, impl,packimpl)
=> ([] (* No DAE *), env, [], ci_state, [])

rule inst_classdef(env,mods,pre,csets,ci_state,d,r,prot,inst_dims
,impl,packimpl)
=> (l,env', csets', ci_state', tys)
Expand Down

0 comments on commit b6292ed

Please sign in to comment.