trunk/models/z-isawhere.a4c

REQUIRE "system.a4l";
(* => system.a4l, basemodel.a4l *)
PROVIDE "z-isawhere.a4c";
(*
 * This file is part of the ASCEND Modeling Library and is released
 * under the GNU Public License as described at the end of this file.
 *
 * Use of this module requires an empty ascend system.
 *)

(*
 * This MODEL presents test cases for the "Where created" button (WriteISAs)
 * function in ASCEND.
 *)

MODEL par1(a WILL_BE real;);
  b IS_A real;
END par1;

MODEL par2( tp WILL_BE par1;);
  c IS_A real;
  d ALIASES tp.a;
END par2;

MODEL testwherecreated;
  x IS_A real;
  y IS_A real;
  x,y ARE_THE_SAME;
  p1 IS_A par1(x);
  p2 IS_A par2(p1);
  z ALIASES p2.tp.b;
  w ALIASES p2.tp.a;
(*
NOTES 'test' SELF {
COMPILE a testwherecreated;
check
Object named y created as a.x a.y
Object named z created as a.p1.b
Object named p1 created as a.p1
Object named p2 created as a.p2
Compare:
Object named w created as a.x a.y
ALIASES of w = a.p2.d a.p2.tp.a a.p1.a a.w a.x a.y
}
END NOTES;
*)
END testwherecreated;


(*
 *  z-isawhere.a4c
 *  by Benjamin Allan
 *  Part of the ASCEND Library
 *  $Date: 1998/06/17 19:39:38 $
 *  $Revision: 1.2 $
 *  $Author: mthomas $
 *  $Source: /afs/cs.cmu.edu/project/ascend/Repository/models/z-isawhere.a4c,v $
 *
 *  This file is part of the ASCEND Modeling Library.
 *
 *  Copyright (C) 1997 Benjamin Allan
 *
 *  The ASCEND Modeling Library is free software; you can redistribute
 *  it and/or modify it under the terms of the GNU General Public
 *  License as published by the Free Software Foundation; either
 *  version 2 of the License, or (at your option) any later version.
 *
 *  The ASCEND Modeling Library is distributed in hope that it will be
 *  useful, but WITHOUT ANY WARRANTY; without even the implied
 *  warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
 *  See the GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with the program; if not, write to the Free Software
 *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139 USA.  Check
 *  the file named COPYING.
 *)
1	REQUIRE "system.a4l";
2	(* => system.a4l, basemodel.a4l *)
3	PROVIDE "z-isawhere.a4c";
4	(*
5	* This file is part of the ASCEND Modeling Library and is released
6	* under the GNU Public License as described at the end of this file.
7	*
8	* Use of this module requires an empty ascend system.
9	*)
10
11	(*
12	* This MODEL presents test cases for the "Where created" button (WriteISAs)
13	* function in ASCEND.
14	*)
15
16	MODEL par1(a WILL_BE real;);
17	b IS_A real;
18	END par1;
19
20	MODEL par2( tp WILL_BE par1;);
21	c IS_A real;
22	d ALIASES tp.a;
23	END par2;
24
25	MODEL testwherecreated;
26	x IS_A real;
27	y IS_A real;
28	x,y ARE_THE_SAME;
29	p1 IS_A par1(x);
30	p2 IS_A par2(p1);
31	z ALIASES p2.tp.b;
32	w ALIASES p2.tp.a;
33	(*
34	NOTES 'test' SELF {
35	COMPILE a testwherecreated;
36	check
37	Object named y created as a.x a.y
38	Object named z created as a.p1.b
39	Object named p1 created as a.p1
40	Object named p2 created as a.p2
41	Compare:
42	Object named w created as a.x a.y
43	ALIASES of w = a.p2.d a.p2.tp.a a.p1.a a.w a.x a.y
44	}
45	END NOTES;
46	*)
47	END testwherecreated;
48
49
50	(*
51	* z-isawhere.a4c
52	* by Benjamin Allan
53	* Part of the ASCEND Library
54	* $Date: 1998/06/17 19:39:38 $
55	* $Revision: 1.2 $
56	* $Author: mthomas $
57	* $Source: /afs/cs.cmu.edu/project/ascend/Repository/models/z-isawhere.a4c,v $
58	*
59	* This file is part of the ASCEND Modeling Library.
60	*
61	* Copyright (C) 1997 Benjamin Allan
62	*
63	* The ASCEND Modeling Library is free software; you can redistribute
64	* it and/or modify it under the terms of the GNU General Public
65	* License as published by the Free Software Foundation; either
66	* version 2 of the License, or (at your option) any later version.
67	*
68	* The ASCEND Modeling Library is distributed in hope that it will be
69	* useful, but WITHOUT ANY WARRANTY; without even the implied
70	* warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
71	* See the GNU General Public License for more details.
72	*
73	* You should have received a copy of the GNU General Public License
74	* along with the program; if not, write to the Free Software
75	* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check
76	* the file named COPYING.
77	*)