Subversion Repositories tendra.SVN

Rev

Rev 5 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5 Rev 6
Line -... Line 1...
- 
 
 1 
/*
- 
 
 2 
 * Copyright (c) 2002-2005 The TenDRA Project <http://www.tendra.org/>.
- 
 
 3 
 * All rights reserved.
- 
 
 4 
 *
- 
 
 5 
 * Redistribution and use in source and binary forms, with or without
- 
 
 6 
 * modification, are permitted provided that the following conditions are met:
- 
 
 7 
 *
- 
 
 8 
 * 1. Redistributions of source code must retain the above copyright notice,
- 
 
 9 
 *    this list of conditions and the following disclaimer.
- 
 
 10 
 * 2. Redistributions in binary form must reproduce the above copyright notice,
- 
 
 11 
 *    this list of conditions and the following disclaimer in the documentation
- 
 
 12 
 *    and/or other materials provided with the distribution.
- 
 
 13 
 * 3. Neither the name of The TenDRA Project nor the names of its contributors
- 
 
 14 
 *    may be used to endorse or promote products derived from this software
- 
 
 15 
 *    without specific, prior written permission.
- 
 
 16 
 *
- 
 
 17 
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS
- 
 
 18 
 * IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
- 
 
 19 
 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- 
 
 20 
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR
- 
 
 21 
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
- 
 
 22 
 * EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
- 
 
 23 
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
- 
 
 24 
 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
- 
 
 25 
 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
- 
 
 26 
 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
- 
 
 27 
 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- 
 
 28 
 *
- 
 
 29 
 * $Id$
- 
 
 30 
 */
1 
/*
 31 
/*
2 
    		 Crown Copyright (c) 1997
 32 
    		 Crown Copyright (c) 1997
3
33 
 
4 
    This TenDRA(r) Computer Program is subject to Copyright
 34 
    This TenDRA(r) Computer Program is subject to Copyright
5 
    owned by the United Kingdom Secretary of State for Defence
 35 
    owned by the United Kingdom Secretary of State for Defence
6 
    acting through the Defence Evaluation and Research Agency
 36 
    acting through the Defence Evaluation and Research Agency
7 
    (DERA).  It is made available to Recipients with a
 37 
    (DERA).  It is made available to Recipients with a
8 
    royalty-free licence for its use, reproduction, transfer
 38 
    royalty-free licence for its use, reproduction, transfer
9 
    to other parties and amendment for any purpose not excluding
 39 
    to other parties and amendment for any purpose not excluding
10 
    product development provided that any such use et cetera
 40 
    product development provided that any such use et cetera
11 
    shall be deemed to be acceptance of the following conditions:-
 41 
    shall be deemed to be acceptance of the following conditions:-
12
42 
 
13 
        (1) Its Recipients shall ensure that this Notice is
 43 
        (1) Its Recipients shall ensure that this Notice is
14 
        reproduced upon any copies or amended versions of it;
 44 
        reproduced upon any copies or amended versions of it;
15
45 
 
16 
        (2) Any amended version of it shall be clearly marked to
 46 
        (2) Any amended version of it shall be clearly marked to
17 
        show both the nature of and the organisation responsible
 47 
        show both the nature of and the organisation responsible
18 
        for the relevant amendment or amendments;
 48 
        for the relevant amendment or amendments;
19
49 
 
20 
        (3) Its onward transfer from a recipient to another
 50 
        (3) Its onward transfer from a recipient to another
21 
        party shall be deemed to be that party's acceptance of
 51 
        party shall be deemed to be that party's acceptance of
22 
        these conditions;
 52 
        these conditions;
23
53 
 
24 
        (4) DERA gives no warranty or assurance as to its
 54 
        (4) DERA gives no warranty or assurance as to its
25 
        quality or suitability for any purpose and DERA accepts
 55 
        quality or suitability for any purpose and DERA accepts
26 
        no liability whatsoever in relation to any use to which
 56 
        no liability whatsoever in relation to any use to which
27 
        it may be put.
 57 
        it may be put.
28 
*/
 58 
*/
29 
 
 59 
 
30 
 
 60 
 
31 
#ifndef EXTRA_INCLUDED
 61 
#ifndef EXTRA_INCLUDED
32 
#define EXTRA_INCLUDED
 62 
#define EXTRA_INCLUDED
33 
 
 63 
 
34 
 
 64 
 
35 
/*
 65 
/*
36 
    EXTRA CALCULUS TOKEN SPECIFICATIONS
 66 
 * EXTRA CALCULUS TOKEN SPECIFICATIONS
37 
 
 67 
 *
38 
    This file contains the specifications for calculus-like tokens used
 68 
 * This file contains the specifications for calculus-like tokens used
39 
    within the program.
 69 
 * within the program.
40 
*/
 70 
 */
41 
 
 71 
 
42 
#if calculus_SPECIFICATION
 72 
#if calculus_SPECIFICATION
43 
 
 73 
 
44 
#pragma token PROC {\
 74 
#pragma token PROC {\
45 
	TYPE t, EXP : LIST ( t ) : e1,\
 75 
	TYPE t, EXP : LIST(t): e1,\
46 
	EXP : LIST ( t ) : e2, EXP : SIZE ( t ) : e3 |\
 76 
	EXP : LIST(t): e2, EXP : SIZE(t): e3 |\
47 
	EXP e1, EXP e2, EXP e3\
 77 
	EXP e1, EXP e2, EXP e3\
48 
    } EXP : LIST ( t ) : ADD_list #
 78 
    } EXP : LIST(t): ADD_list #
49 
 
 79 
 
50 
#pragma interface ADD_list
 80 
#pragma interface ADD_list
51 
 
 81 
 
52 
#endif
 82 
#endif
53 
 
 83 
 
54 
 
 84 
 
55 
/*
 85 
/*
56 
    EXTRA CALCULUS TOKEN IMPLEMENTATIONS
 86 
 * EXTRA CALCULUS TOKEN IMPLEMENTATIONS
57 
 
 87 
 *
58 
    The token specified above are implemented as follows.  The token
 88 
 * The token specified above are implemented as follows.  The token
59 
    definitions are implementation specific.  The functions used are
 89 
 * definitions are implementation specific.  The functions used are
60 
    defined in calculus.c.
 90 
 * defined in calculus.c.
61 
*/
 91 
 */
62 
 
 92 
 
63 
#if calculus_IMPLEMENTATION
 93 
#if calculus_IMPLEMENTATION
64 
 
 94 
 
65 
extern calculus *add_calculus_list PROTO_S ( ( calculus *, calculus *, int ) ) ;
 95 
extern calculus *add_calculus_list(calculus *, calculus *, int);
66 
 
 96 
 
67 
#define ADD_list( X, Y, Z )	add_calculus_list ( ( X ), ( Y ), ( Z ) )
 97 
#define ADD_list(X, Y, Z)	add_calculus_list((X), (Y), (Z))
68 
 
 98 
 
69 
#endif
 99 
#endif
70 
 
 100 
 
71 
 
 101 
 
72 
#endif
 102 
#endif