ast-to-instr/src/Predicates.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

public class Predicates
{
   public static void add_entry
   (
      final String predicate_name,
      final IDs... params
   )
   {
      System.out.print("[PRE] (");
      System.out.print(predicate_name);

      for (final IDs param: params)
      {
         System.out.print(" " + param.get_value());
      }

      System.out.println(")");
      /* TODO */
   }
}