aux_pn1.e | searchcode

/test/language/unclassified/aux_pn1.e

http://github.com/tybor/Liberty
Specman e | 23 lines | 12 code | 7 blank | 4 comment | 0 complexity | 5ef00ebc01c99c27ac9184edcc3769f0 MD5 | raw file

 1-----------------------------------------------------------------------------
 2
 3note
 4   title       : "DPOINT";
 5   cluster     : "";
 6   project     : "";
 7   copyright   : "";
 8   author      : "Philipp Niedermaier";
 9   version     : "1.0";
10   last_change : "08.12.99";
11
12-----------------------------------------------------------------------------
13
14expanded class AUX_PN1
15
16-----------------------------------------------------------------------------
17
18feature {ANY}
19   x, y: REAL
20
21-----------------------------------------------------------------------------
22
23end