Example #1
0
 internal static void type_annotation(this TextWriter trapFile, IEntity element, Kinds.TypeAnnotation annotation)
 {
     trapFile.WriteTuple("type_annotation", element, (int)annotation);
 }
Example #2
0
File: Type.cs Project: ksg97031/ql
 public AnnotatedType(Type t, Kinds.TypeAnnotation a)
 {
     Type       = t;
     Annotation = a;
 }
Example #3
0
 internal static Tuple type_argument_annotation(IEntity element, int index, Kinds.TypeAnnotation annotation) => new Tuple("type_argument_annotation", element, index, (int)annotation);