removed decrypt and encrypt

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1781 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

modeq/Interactive.rml

@@ -201,7 +201,7 @@ with "Print.rml"
 with "System.rml"
 with "ClassLoader.rml"
 with "Ceval.rml"
- with "Encrypt.rml"
+
 
 val Placement_records = "record Transformation Real x=0.0; Real y=0.0; Real scale=1.0; Real aspectRatio=1.0; Boolean flipHorizontal=false; Boolean flipVertical=false; Real rotation=0.0; end Transformation; record Placement Boolean visible=true; Transformation transformation; Transformation iconTransformation; end Placement;" 
 
@@ -672,24 +672,6 @@ relation evaluate_graphical_api: (InteractiveStmts, InteractiveSymbolTable) =>
 
 
 
-	rule	decrypt_class(cr,p) => (resstr, newp)
-	---------------------------------------------------------
-	evaluate_graphical_api(
-	    ISTMTS([IEXP(Absyn.CALL(
-		Absyn.CREF_IDENT("decryptClass",_),
-		Absyn.FUNCTIONARGS([Absyn.CREF(cr)], [])))],_
-		),
-	    st as SYMBOLTABLE(p,s,ic,iv,cf)) => (resstr,SYMBOLTABLE(newp,s,ic,iv,cf))
-
-	rule	encrypt_class(cr,p) => (resstr, newp)
-	---------------------------------------------------------
-	evaluate_graphical_api(
-	    ISTMTS([IEXP(Absyn.CALL(
-		Absyn.CREF_IDENT("encryptClass",_),
-		Absyn.FUNCTIONARGS([Absyn.CREF(cr)], [])))],_
-		),
-	    st as SYMBOLTABLE(p,s,ic,iv,cf)) => (resstr,SYMBOLTABLE(newp,s,ic,iv,cf))
-
 	rule	delete_class(cr,p) => (resstr, newp)
 	---------------------------------------------------------
 	evaluate_graphical_api(
@@ -2198,32 +2180,6 @@ relation is_primitive: (Absyn.ComponentRef, Absyn.Program) => bool =
 end
 
 
-relation decrypt_class: (Absyn.ComponentRef, Absyn.Program) => (string, Absyn.Program) =
-
-  rule	(* Top level class *)
-	Absyn.cref_to_path(class) => cpath &
-	get_pathed_class_in_program(cpath, p) => class &
-        Encrypt.decrypt_class(class) => class' &
-        update_program(Absyn.PROGRAM([class'],Absyn.TOP),p) => p'
-	---------------------------------------------------------------------------------------
-	decrypt_class(class, p as Absyn.PROGRAM(clist, w)) => ("true", p' )
-
-  axiom	decrypt_class(_, p) => ("false",p)	
-end
-
-relation encrypt_class: (Absyn.ComponentRef, Absyn.Program) => (string, Absyn.Program) =
-
-  rule	(* Top level class *)
-	Absyn.cref_to_path(class) => cpath &
-	get_pathed_class_in_program(cpath, p) => class &
-        Encrypt.encrypt_class(class) => class' &
-        update_program(Absyn.PROGRAM([class'],Absyn.TOP),p) => p'
-	---------------------------------------------------------------------------------------
-	encrypt_class(class, p as Absyn.PROGRAM(clist, w)) => ("true", p' )
-
-  axiom	encrypt_class(_, p) => ("false",p)	
-end
-
 
 (** relation: delete_class
  ** This relation takes a component reference and a program.