instr-to-kodkod/src/VHDLProperty.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

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

import kodkod.ast.*;

import org.antlr.v4.runtime.*;

public class VHDLProperty
{
   private final String filename;
   private final List<Variable> tagged_variables;
   private final List<VHDLType> tagged_variables_types;

   public VHDLProperty (final String filename)
   {
      this.filename = filename;
      tagged_variables = new ArrayList<Variable>();
      tagged_variables_types = new ArrayList<VHDLType>();
   }

   public Formula generate_base_formula ()
   throws IOException
   {
      final PropertyLexer lexer;
      final CommonTokenStream tokens;
      final PropertyParser parser;

      lexer = new PropertyLexer(CharStreams.fromFileName(filename));
      tokens = new CommonTokenStream(lexer);
      parser = new PropertyParser(tokens);

      return parser.tag_existing().result;
   }
}