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

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

import kodkod.ast.*;

import org.antlr.v4.runtime.*;

public class VHDLProperty
{
   private final String filename;

   public VHDLProperty (final String filename)
   {
      this.filename = filename;
   }

   public Formula generate_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;
   }
}