Package org.destecs.core.parsers

Examples of org.destecs.core.parsers.VdmLinkParserWrapper


      if (!linkFile.exists() || linkFile.isDirectory())
      {
        throw new RemoteSimulationException("The VDM link file does not exist: "
            + linkFile);
      }
      VdmLinkParserWrapper linksParser = new VdmLinkParserWrapper();
      links = linksParser.parse(linkFile);// Links.load(linkFile);

      if (links == null || linksParser.hasErrors())
      {
        throw new RemoteSimulationException("Faild to parse vdm links");
      }

      if (disableRtLog)
View Full Code Here


  {
    @SuppressWarnings("rawtypes")
    @Override
    protected ParserWrapper getParser()
    {
      return new VdmLinkParserWrapper();
    }
View Full Code Here

   * @throws Exception
   */
  public static Links getVdmLinks(IDestecsProject project,
      IAddErrorHandler errorHandler) throws Exception
  {
    VdmLinkParserWrapper vdmLinkParser = new VdmLinkParserWrapper();
    Links vdmlinks = (Links) parse(vdmLinkParser, project.getVdmLinkFile(),
        errorHandler);
    return vdmlinks;
  }
View Full Code Here

TOP

Related Classes of org.destecs.core.parsers.VdmLinkParserWrapper

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.