Navigation

shell_reversed

EXPRESS specification:

FUNCTION shell_reversed
(* Modified for LPM/6 *)(a_shell : shell) : shell;
   IF ('STRUCTURAL_FRAME_SCHEMA.OPEN_SHELL' IN TYPEOF (a_shell) ) THEN
     RETURN (open_shell_reversed (a_shell));
   ELSE
     IF ('STRUCTURAL_FRAME_SCHEMA.CLOSED_SHELL' IN TYPEOF (a_shell) ) THEN
       RETURN (closed_shell_reversed (a_shell));
     ELSE
       RETURN (?);
     END_IF;
   END_IF;
END_FUNCTION;