OoasTools

/**

  *

  *                      OOAS Compiler

  *

  *       Copyright 2015, AIT Austrian Institute of Technology.

  * This code is based on the C# Version of the OOAS Compiler, which is

  * copyright 2015 by the Institute of Software Technology, Graz University

  * of Technology with portions copyright by the AIT Austrian Institute of

  * Technology. All rights reserved.

  *

  * SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.

  *

  * If you modify the file please update the list of contributors below to in-

  * clude your name. Please also stick to the coding convention of using TABs

  * to do the basic (block-level) indentation and spaces for anything after

  * that. (Enable the display of special chars and it should be pretty obvious

  * what this means.) Also, remove all trailing whitespace.

  *

  * Contributors:

  *               Willibald Krenn (AIT)

  *               Stephan Zimmerer (AIT)

  *               Markus Demetz (AIT)

  *               Christoph Czurda (AIT)

  *

  */

package org.momut.ooas.codegen.prologsymbolic;

import java.util.Date;

import org.momut.ooas.ast.identifiers.MainModule;

import org.momut.ooas.codegen.prolog.OoaPrologIdentifier;

import org.momut.ooas.codegen.prolog.OoaPrologVisitor;

import org.momut.ooas.parser.ParserState;

public final class OoaPrologSymbolicVisitor extends OoaPrologVisitor

{

        @Override

        public  void visit(MainModule mainModule)

        {

                m_emitter.AppendLine("% OOAS Compiler Generated");

//                m_emitter.AppendLine("%" + Mogentes.Program.GetProgramVersion().ToString().Replace(Environment.NewLine, Environment.NewLine + "%")));

                m_emitter.AppendLine("% Code-Gen Version: 0.3 symbolic");

                m_emitter.Append("%        Generated: "); m_emitter.AppendLine(new Date().toString());

                m_emitter.AppendLine("%------------------------------------------------------------------------");

                m_emitter.AppendLine("");

                m_emitter.AppendLine(String.format(":- module(%s, [var/2, input/1, searchDepth/1, qspace/2]).", m_nameSpace));

                m_emitter.AppendLine(":- use_module(library(file_systems)).");

                m_emitter.AppendLine(":- use_module(library(process)).");

                m_emitter.AppendLine(":- use_module(library(clpfd)).");

                m_emitter.AppendLine(":- use_module(library(clpb)).");

                m_emitter.AppendLine(":- use_module(library(lists)).");

                m_emitter.AppendLine(":- use_module(library(avl)).");

                m_emitter.AppendLine(":- use_module(library(ordsets)).");

                m_emitter.AppendLine(":- use_module(library(system)).");

//                m_emitter.AppendLine(":- use_module(library(gauge)).");

                m_emitter.AppendLine(":- use_module(library(terms)).");

                m_emitter.AppendLine(":- use_module(library(sets)).");

                m_emitter.AppendLine(":- use_module(library(random)).");

                m_emitter.AppendLine(":- public(as/0).");

                m_emitter.AppendLine(":- dynamic(as/0).");

                m_emitter.AppendLine(":- dynamic(qstate_init/1).");

                m_emitter.AppendLine(":- dynamic(qstate_constraints/1).");

                m_emitter.AppendLine(":- public(qstate_init/1).");

                m_emitter.AppendLine(":- public(qstate_constraints/1).");

                m_emitter.AppendLine(":- dynamic(type/2).");

                /*definition of search depth*/

                m_emitter.AppendLine("");

                m_emitter.AppendLine("% maximal search depth (change at will)");

                m_emitter.AppendLine(String.format("searchDepth(%s).", m_maxSearchDepth));

                m_emitter.AppendLine("");

                /*definition of types*/

                ExportTypes(mainModule);

                /* variable definition */

                ExportVariables(mainModule);

                /* state definition */

                ExportState(mainModule);

                /* initial state */

                ExportInitialState(mainModule);

                /* input actions (controllables) */

                ExportControllableActions(mainModule);

                /* output actions (observables) */

                ExportObservableActions(mainModule);

                /* named actions */

                ExportMethodsAndActions(mainModule);

                /* all types */

                m_emitter.AppendLine("%definition of types");

                m_emitter.AppendLine(m_scratchbook.typeDefinitions().toString());

                m_emitter.AppendLine(createTypeVisitor().GetInternalTypeDefinitions());

        }

        public OoaPrologSymbolicVisitor(ParserState aState, int maxSearchDepth, String nameSpace )

        {

                super(aState,

                        maxSearchDepth,

                        nameSpace,

                        new OoaPrologSymbolicExpression.Factory(),

                        new OoaPrologIdentifier.Factory(),

                        new OoaPrologSymbolicStatement.Factory(),

                        new OoaPrologSymbolicType.Factory());

        }

}