OoasTools

/**

  *

  *                      OOAS Compiler (Deprecated)

  *

  * Copyright 2015, Institute for Software Technology, Graz University of

  * Technology. Portions are copyright 2015 by the AIT Austrian Institute

  * of Technology. All rights reserved.

  *

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

  *

  * Please notice that this version of the OOAS compiler is considered de-

  * precated. Only the Java version is maintained.

  *

  * Contributors:

  *               Willibald Krenn (TU Graz/AIT)

  *               Stefan Tiran (TU Graz/AIT)

  */

using System;

using System.Collections.Generic;

using System.Text;

using TUG.Mogentes.Codegen;

using TUG.Mogentes.Codegen.Prolog;

namespace TUG.Mogentes.Codegen.PrologSymbolic

{

    class OoaPrologSymbolicType : OoaPrologType

    {

        new public class Factory : OoaPrologType.Factory

        {

            public override OoaPrologType create(OoaPrologIdentifier.Factory idFactory) 

            { return new OoaPrologSymbolicType(idFactory); }

        }

        public override string GetInternalTypeDefinitions()

        {

            OoaCodeEmitter result = new OoaCodeEmitter();

            result.AppendLine("type(bool, X) :- member(X, [true, false]).");

            result.AppendLine("type(char, X) :- X in 0..255, labeling([],[X]).");

            return result.ToString();

        }

        private OoaPrologSymbolicType(OoaPrologIdentifier.Factory idFactory)

            : base(idFactory)

        {

        }

    }

}