The base architecture for code-contracts analysis
[mono.git] / mcs / class / Mono.CodeContracts / Mono.CodeContracts.Static.AST / NodeType.cs
1 // 
2 // NodeType.cs
3 // 
4 // Authors:
5 //      Alexander Chebaturkin (chebaturkin@gmail.com)
6 // 
7 // Copyright (C) 2011 Alexander Chebaturkin
8 // 
9 // Permission is hereby granted, free of charge, to any person obtaining
10 // a copy of this software and associated documentation files (the
11 // "Software"), to deal in the Software without restriction, including
12 // without limitation the rights to use, copy, modify, merge, publish,
13 // distribute, sublicense, and/or sell copies of the Software, and to
14 // permit persons to whom the Software is furnished to do so, subject to
15 // the following conditions:
16 // 
17 // The above copyright notice and this permission notice shall be
18 // included in all copies or substantial portions of the Software.
19 //  
20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 
22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
27 // 
28
29 namespace Mono.CodeContracts.Static.AST {
30         enum NodeType {
31                 Unknown,
32                 Block,
33                 Nop,
34                 LoadArg,
35                 LoadConstant,
36                 Clt,
37                 Cgt,
38                 Ceq,
39                 Return,
40                 Box,
41                 Conv,
42                 Add,
43                 Sub,
44                 Rem,
45                 Expression,
46                 Literal,
47                 Instruction,
48                 AssignmentStatement,
49                 Local,
50                 Parameter,
51                 Branch,
52                 ExpressionStatement,
53                 Le,
54                 Mul,
55                 Div,
56                 Div_Un,
57                 Rem_Un,
58                 And,
59                 Or,
60                 Shr,
61                 Xor,
62                 Shl,
63                 Shr_Un,
64                 Neg,
65                 Not,
66                 Conv_I1,
67                 Conv_I2,
68                 Conv_I8,
69                 Conv_I4,
70                 Conv_R4,
71                 Conv_R8,
72                 LogicalNot,
73                 Ne,
74                 Ge,
75                 Gt,
76                 Lt,
77                 Eq,
78                 This,
79                 Method,
80                 MethodContract,
81                 Requires,
82                 Ensures,
83                 ExceptionHandler,
84                 Filter,
85                 Catch,
86                 Finally,
87                 FaultHandler,
88                 TypeNode,
89                 EndFinally,
90                 Call,
91                 Calli,
92                 Jmp,
93                 MethodCall,
94                 MemberBinding,
95                 Construct,
96                 Class,
97                 Property,
98                 Assembly,
99                 Module,
100                 BlockExpression,
101                 CallVirt,
102                 Field,
103                 Reference
104         }
105 }