/*********************************************************************/
/*                                                                   */
/*                     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 System;
using AgentService.Ontology;
using AgentService.Ontology.Interfaces;
using AgentService.Ontology.Validation;

namespace AgentService.Ontology.Schema.Abstract
{
	/// <summary>
	/// It's an abstract descriptor for predicate expressions.
	/// </summary>
	public class AbsPredicate: AbsPrimitiveSlotsHolder, AbsContentElement, Predicate
	{
		/// <summary>
		/// Constructs a predicate with a given name.
		/// </summary>
		/// <param name="typeName">The name of the predicate.</param>
		public AbsPredicate(string typeName):base(typeName)
		{
		}

		/// <summary>
		/// Sets the value of a given attribute.
		/// </summary>
		/// <param name="name">The name of the attribute to set.</param>
		/// <param name="val">The new value of the attribute.</param>
		public new void SetAttribute(string name, AbsObject val)
		{
			try
			{
				base.SetAttribute(name, val);
			}
			catch(Exception e)
			{
				throw new ValidationException(e.ToString());
			}
		} 

		/// <summary>
		/// Gets a casted value (AbsTerm) of a given attribute.
		/// </summary>
		/// <param name="name">The name of the attribute.</param>
		/// <returns></returns>
		public AbsTerm GetAbsTerm(string name) 
		{
			try
			{
				return (AbsTerm) GetAbsObject(name);
			}
			catch(Exception e)
			{
				throw new ValidationException(e.ToString());
			}
		} 
    
		private static Type absPredicateClass = null;

		/// <summary>
		/// Gets the type of this absolute descriptor.
		/// </summary>
		/// <returns></returns>
		public static Type GetClass() 
		{
			try
			{
				if (absPredicateClass == null) 
				{
					try 
					{
						absPredicateClass = typeof(AgentService.Ontology.Schema.Abstract.AbsPredicate);
					}
					catch(OntologyException e)
					{
						throw e;
					}
				}
				return absPredicateClass;
			}
			catch(Exception e)
			{
				throw new ValidationException(e.ToString());
			}
		}
		
	}
}