instance-calculator/src/Main.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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

/* FIXME: Finer imports */
import java.util.*;

import java.io.*;

public class Main
{
   private static Parameters PARAMETERS;

   public static void main (final String... args)
   {
      final FileWriter output;

      PARAMETERS = new Parameters(args);

      if (!PARAMETERS.are_valid())
      {
         return;
      }

      try
      {
         ModelFile.load_file(PARAMETERS.get_model_file());
      }
      catch (final Exception e)
      {
         System.err.println
         (
            "[E] Could not load model file \""
            + PARAMETERS.get_model_file()
            + "\":"
         );

         e.printStackTrace();

         return;
      }
   }

   private static void create_instances ()
   {
      /*
       * FuturCandidates <- All Architecture.
       * Candidates <- emptyset
       * Set ProcessedCandidates <- emptyset.
       *
       * while (!isEmpty(FuturCandidates))
       * {
       *    is_stuck = True;
       *    Candidates.addAll(FuturCandidates);
       *    FuturCandidates.setLength(0);
       *
       *    while (!isEmpty(candidates))
       *    {
       *       a = Candidates.pop();
       *
       *       for (c: a.component)
       *       {
       *          if (!contains(c.target, ProcessedCandidates))
       *          {
       *             FuturCandidates.push(a);
       *             continue;
       *          }
       *       }
       *
       *       is_stuck = False;
       *
       *       a.instantiate_all_processes();
       *
       *       for (c: a.component)
       *       {
       *          a.integrate_instanciated_processes_from(c);
       *       }
       *
       *       ProcessedCandidates.add(a);
       *    }
       *
       *    if (is_stuck)
       *    {
       *       Error.
       *    }
       * }
       */
   }
}