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
21
22
23
24
25
26
27
28
29
30
31

public class Predicates
{
   public static void add_entry
   (
      final String predicate_name,
      final IDs... params
   )
   {
      add_entry(Main.get_main_output(), predicate_name, params);
   }

   public static void add_entry
   (
      final OutputFile output,
      final String predicate_name,
      final IDs... params
   )
   {
      output.write("(");

      output.write(predicate_name);

      for (final IDs param: params)
      {
         output.write(" " + param.get_value());
      }

      output.write(")");
      output.insert_newline();
   }
}