Parent Directory | Revision Log

Revision **13** -
(**show annotations**)
(**download**)
(**as text**)

*Thu Nov 18 06:02:19 2004 UTC*
(15 years ago)
by *ben.allan*

File MIME type: text/x-ascend

File size: 1822 byte(s)

File MIME type: text/x-ascend

File size: 1822 byte(s)

test of a fix in a loop exit condition in anontype.c that cause distinct types to be labeled as equal.

1 | REQUIRE "system.a4l"; |

2 | (* => system.a4l, basemodel.a4l *) |

3 | PROVIDE "z-anonrel.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 | MODEL Q; |

12 | y, dx IS_A generic_real; |

13 | END Q; |

14 | |

15 | MODEL R REFINES Q; |

16 | a, b IS_A symbol_constant; |

17 | END R; |

18 | |

19 | MODEL P; |

20 | q IS_A Q; |

21 | q.y=q.dx; |

22 | END P; |

23 | |

24 | MODEL Mnoarray; |

25 | p1,p2 IS_A P; |

26 | p2.q IS_REFINED_TO R; |

27 | (* during pass2 relation sharing, |

28 | p1,p2 are not isomorphs. somehow we think they are. |

29 | *) |

30 | END Mnoarray; |

31 | |

32 | MODEL M; |

33 | p[1,2] IS_A P; |

34 | p[2].q IS_REFINED_TO R; |

35 | (* during pass2 relation sharing, |

36 | p1,p2 are not isomorphs. somehow we think they are. |

37 | *) |

38 | END M; |

39 | |

40 | (* |

41 | * z-anonrel.a4c |

42 | * by Benjamin Allan |

43 | * Part of the ASCEND Library |

44 | * $Date: 1998/06/17 19:39:39 $ |

45 | * $Revision: 1.3 $ |

46 | * $Author: mthomas $ |

47 | * $Source: /afs/cs.cmu.edu/project/ascend/Repository/models/z-relname.a4c,v $ |

48 | * |

49 | * This file is part of the ASCEND Modeling Library. |

50 | * |

51 | * Copyright (C) 1997 Benjamin Allan |

52 | * |

53 | * The ASCEND Modeling Library is free software; you can redistribute |

54 | * it and/or modify it under the terms of the GNU General Public |

55 | * License as published by the Free Software Foundation; either |

56 | * version 2 of the License, or (at your option) any later version. |

57 | * |

58 | * The ASCEND Modeling Library is distributed in hope that it will be |

59 | * useful, but WITHOUT ANY WARRANTY; without even the implied |

60 | * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. |

61 | * See the GNU General Public License for more details. |

62 | * |

63 | * You should have received a copy of the GNU General Public License |

64 | * along with the program; if not, write to the Free Software |

65 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check |

66 | * the file named COPYING. |

67 | *) |

john.pye@anu.edu.au | ViewVC Help |

Powered by ViewVC 1.1.22 |