11import csharp
22
3- class TypeRef extends @typeref
4- {
5- string toString ( ) {
6- hasName ( result )
7- }
3+ class TypeRef extends @typeref {
4+ string toString ( ) { hasName ( result ) }
85
9- predicate hasName ( string name ) {
10- typerefs ( this , name )
11- }
6+ predicate hasName ( string name ) { typerefs ( this , name ) }
127
13- Type getType ( ) {
14- typeref_type ( this , result )
15- }
8+ Type getType ( ) { typeref_type ( this , result ) }
169}
1710
18- class MissingType extends TypeRef
19- {
20- MissingType ( ) {
21- not exists ( getType ( ) )
22- }
23- }
11+ class MissingType extends TypeRef { MissingType ( ) { not exists ( getType ( ) ) } }
2412
2513from
26- Class class1 ,
27- MissingType class2 ,
28- MissingType class3 ,
29- MissingType class4 ,
30- MissingType class5 ,
31- MissingType del2 ,
32- Field a ,
33- Method b ,
34- Method c ,
35- Method d ,
36- Method e ,
37- Method f ,
38- Method g
14+ Class class1 , MissingType class2 , MissingType class3 , MissingType class4 , MissingType class5 ,
15+ MissingType del2 , Field a , Method b , Method c , Method d , Method e , Method f , Method g
3916where
4017 class1 .hasQualifiedName ( "Assembly1.Class1" ) and
4118 class2 .hasName ( "Class2" ) and
@@ -50,10 +27,10 @@ where
5027 e .hasName ( "e" ) and
5128 f .hasName ( "f" ) and
5229 g .hasName ( "g" ) and
53- a .getDeclaringType ( ) = class1 and
54- a .getDeclaringType ( ) = class1 and
55- b .getDeclaringType ( ) = class1 and
56- c .getDeclaringType ( ) = class1 and
30+ a .getDeclaringType ( ) = class1 and
31+ a .getDeclaringType ( ) = class1 and
32+ b .getDeclaringType ( ) = class1 and
33+ c .getDeclaringType ( ) = class1 and
5734 not exists ( c .getParameter ( 0 ) .getType ( ) ) and
5835 not exists ( a .getType ( ) ) and
5936 not exists ( b .getReturnType ( ) ) and
0 commit comments