/*********************************************************************/
/*                                                                   */
/*                     AgentService Framework                        */
/*                       www.agentservice.it                         */
/*                                                                   */
/* Copyright (C) 2007 l.i.d.o. - DIST, University of Genoa, Italy    */
/* GNU Lesser General Public License                                 */
/*                                                                   */
/* This library is free software; you can redistribute it and/or     */
/* modify it under the terms of the GNU Lesser General Public        */
/* License as published by the Free Software Foundation,             */
/* version 2.1 of the License.                                       */
/*                                                                   */
/* This library is distributed in the hope that it will be useful,   */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of    */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU */
/* Lesser General Public License for more details.                   */
/*                                                                   */
/* You should have received a copy of the GNU Lesser General Public  */
/* License along with this library; if not, write to the             */
/* Free Software Foundation, Inc., 59 Temple Place - Suite 330,      */
/* Boston, MA  02111-1307, USA.                                      */
/*                                                                   */
/*********************************************************************/
using AgentService.Ontology;
using AgentService.Ontology.Schema.Abstract;
using System;
using AgentService.Ontology.Validation;

namespace AgentService.Ontology.Schema 
{

	/// <summary>
	/// This class is the schema for the IRE entity in a ontology.
	/// </summary>
	public class IRESchema : TermSchema 
	{

		public static readonly new string base_name = "IRE";
		private static new IRESchema   baseSchema = new IRESchema();
    
		public static readonly string variable = "Variable";
		public static readonly string proposition = "Proposition";

		/// <summary>
		/// Constructs a generic IREschema.
		/// </summary>
		private IRESchema(): base(base_name)
		{	

		}

		/// <summary>
		/// Costructs a IREschema with a given name.
		/// </summary>
		/// <param name="typeName">The name of the IRE.</param>
		public IRESchema(string typeName):base(typeName) 
		{
			try
			{
				Add(variable, VariableSchema.GetBaseSchema()); 
				Add(proposition, PredicateSchema.GetBaseSchema());
			}
			catch(Exception ex)
			{
				throw new OntologyException("Unable to create a IRESchema with name "+typeName.ToString()+": "+ex.ToString());
			}
		}

		/// <summary>
		/// Constructs an IREschema with given typeName, variable schema and predicate schema.
		/// </summary>
		/// <param name="typeName">The type name.</param>
		/// <param name="varSchema">The variable schema.</param>
		/// <param name="predSchema">The predicate schema.</param>
		public IRESchema(string typeName, VariableSchema varSchema, PredicateSchema predSchema): base(typeName)
		{
			try
			{
				Add(variable, varSchema); 
				Add(proposition, predSchema);
			}
			catch(Exception ex)
			{
				throw new OntologyException("Unable to create a IRESchema with name "+typeName.ToString()+": "+ex.ToString());
			}
		}

		/// <summary>
		/// Retrieves a generic base schema for all IREs.
		/// </summary>
		/// <returns></returns>
		public static new ObjectSchema GetBaseSchema() 
		{
			return baseSchema;
		}

		/// <summary>
		/// IRE must be compatible with a Term.
		/// </summary>
		/// <param name="s">The term of wathever type</param>
		/// <returns>True if the IRE is compatible.</returns>
		public override bool IsCompatibleWith(ObjectSchema s)
		{
			try
			{
				if (s != null) 
				{
					return s.DescendsFrom(TermSchema.GetBaseSchema());
				}
				else 
				{
					return false;
				}
			}
			catch(Exception ex)
			{
				throw new OntologyException(ex.ToString());
			}
		}

		/// <summary>
		/// Returns true if 
		///- s is the base schema for the XXXSchema class and this schema is
		///	 an instance of (e.g. s is ConceptSchema.GetBaseSchema() and this 
		///	 schema is an instance of ConceptSchema)
		///	- s is the base schema for a super-class of the XXXSchema class and
		///	 this schema is an instance of (e.g. s is TermSchema.GetBaseSchema()
		///	 and this schema is an instance of ConceptSchema.
		/// </summary>
		/// <param name="s">Object schema</param>
		/// <returns>Returns true if <code>s</code> is a base schema for this schema.</returns>
		public override bool DescendsFrom(ObjectSchema s)
		{
			try
			{
				if (s != null) 
				{
					if (s.Equals(GetBaseSchema())) 
					{
						return true;
					}
					if (base.DescendsFrom(s)) 
					{
						return true;
					}
					// An IRE is also a ContentElement
					return ContentElementSchema.GetBaseSchema().DescendsFrom(s);
				}
				else 
				{
					return false;
				}
			}
			catch(Exception ex)
			{
				throw new OntologyException(ex.ToString());
			}
		}

		/// <summary>
		/// Returns an abstract object that represents this agent action.
		/// </summary>
		/// <returns></returns>
		public override AbsObject NewInstance() 
		{
			return new AbsIRE(GetTypeName());
		} 

		/// <summary>
		/// Validates a given abstract object, using a given ontology.
		/// </summary>
		/// <param name="abs">The abstract object to Validate.</param>
		/// <param name="onto">The ontology to use.</param>
		public override void Validate(AbsObject abs, Ontology onto)  
		{
			try
			{
				if (!(abs is AbsIRE)) 
				{
					throw new ValidationException(abs+" is not an AbsIRE");
				}
			
				ValidateSlots(abs, onto);
			}
			catch(Exception ex)
			{
				throw new ValidationException("Unable to Validate "+abs+": "+ex.ToString());
			}
		}
}
}