File: masc.h

package info (click to toggle)
cbmc 5.10-5
  • links: PTS
  • area: main
  • in suites: buster
  • size: 73,416 kB
  • sloc: cpp: 264,330; ansic: 38,268; java: 19,025; python: 4,539; yacc: 4,275; makefile: 2,547; lex: 2,394; sh: 932; perl: 525; xml: 289; pascal: 169
file content (38 lines) | stat: -rw-r--r-- 989 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#ifndef MASC_H
#define MASC_H

typedef unsigned uint;

// ---------------------------------------------------------------------
// Templates for passing & returning tuples and arrays

template <class T1, class T2, class T3 = bool, class T4 = bool>
class mv {
    T1 first;
    T2 second;
    T3 third;
    T4 fourth;
  public:
    mv(T1 x, T2 y) {first = x; second = y;}
    mv(T1 x, T2 y, T3 z) {first = x; second = y; third = z;}
    mv(T1 x, T2 y, T3 z, T4 w) {first = x; second = y; third = z; fourth = w;}
    void assign(T1 &x, T2 &y) {x = first; y = second;}
    void assign(T1 &x, T2 &y, T3 &z) {x = first; y = second; z = third;}
    void assign(T1 &x, T2 &y, T3 &z, T4 &w) {x = first; y = second; z = third; w = fourth;}
};

template <uint m, class T>
class array {
  public:
    T elt[m];
};


// Assert is sometimes a macro, which screws up our translation.
// If we are using the MASC translator we want to prevent its expansion.
#ifdef __MASC__
#undef assert
#endif

#endif