Exemple #1
0
Fichier : Tuples.cs Projet : s0/ql
 internal static Tuple cil_handler_filter(IExceptionRegion region, IInstruction filter_start) =>
 new Tuple("cil_handler_filter", region, filter_start);
Exemple #2
0
Fichier : Tuples.cs Projet : s0/ql
 internal static Tuple cil_handler_type(IExceptionRegion region, Type t) =>
 new Tuple("cil_handler_type", region, t);
Exemple #3
0
Fichier : Tuples.cs Projet : s0/ql
 internal static Tuple cil_handler(IExceptionRegion region, IMethodImplementation method, int index, int kind,
                                   IInstruction region_start,
                                   IInstruction region_end,
                                   IInstruction handler_start) =>
 new Tuple("cil_handler", region, method, index, kind, region_start, region_end, handler_start);