Package org.overturetool.vdmj.lex

Examples of org.overturetool.vdmj.lex.LexTokenReader


        {
          if (replaceNewIdentifier.isEmpty()
              && architecture.isEmpty() && deploy.isEmpty())
          {
            long before = System.currentTimeMillis();
            LexTokenReader ltr = new LexTokenReader(file, Settings.dialect, filecharset);
            reader = new ClassReader(ltr);
            classes.addAll(reader.readClasses());
            long after = System.currentTimeMillis();
            duration += (after - before);
          } else
          {
            long before = System.currentTimeMillis();

            BacktrackInputReader fileReader = new BacktrackInputReader(file, filecharset);
            StringBuffer buf = new StringBuffer();
            char c;
            while ((c = fileReader.readCh()) != (char) -1)
            {
              buf.append(c);
            }
            fileReader.close();

            String patchedContent = patch(buf.toString());
            logChangedFileContent(patchedContent, file);

            LexTokenReader ltr = new LexTokenReader(patchedContent, Settings.dialect, file);
            reader = new ClassReader(ltr);
            classes.addAll(reader.readClasses());
            long after = System.currentTimeMillis();
            duration += (after - before);
          }
View Full Code Here

TOP

Related Classes of org.overturetool.vdmj.lex.LexTokenReader

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.