From: <jom...@us...> - 2008-09-12 15:04:25
|
Revision: 1367 http://jason.svn.sourceforge.net/jason/?rev=1367&view=rev Author: jomifred Date: 2008-09-12 15:04:23 +0000 (Fri, 12 Sep 2008) Log Message: ----------- fix the wrong cast in BinaryStructure Modified Paths: -------------- trunk/doc/jason.doxygen trunk/src/jason/asSyntax/BinaryStructure.java trunk/src/jason/asSyntax/LogExpr.java Modified: trunk/doc/jason.doxygen =================================================================== --- trunk/doc/jason.doxygen 2008-09-12 14:16:52 UTC (rev 1366) +++ trunk/doc/jason.doxygen 2008-09-12 15:04:23 UTC (rev 1367) @@ -25,7 +25,7 @@ # The PROJECT_NAME tag is a single word (or a sequence of words surrounded # by quotes) that should identify the project. -PROJECT_NAME = Jason +PROJECT_NAME = Jason :: API # The PROJECT_NUMBER tag can be used to enter a project or revision number. # This could be handy for archiving the generated documentation or Modified: trunk/src/jason/asSyntax/BinaryStructure.java =================================================================== --- trunk/src/jason/asSyntax/BinaryStructure.java 2008-09-12 14:16:52 UTC (rev 1366) +++ trunk/src/jason/asSyntax/BinaryStructure.java 2008-09-12 15:04:23 UTC (rev 1367) @@ -51,14 +51,14 @@ return getArity() == 1; } - /** gets the LHS of this Expression */ - public LogicalFormula getLHS() { - return (LogicalFormula)getTerm(0); + /** gets the LHS of this operation */ + public Term getLHS() { + return getTerm(0); } - /** gets the RHS of this Expression */ - public LogicalFormula getRHS() { - return (LogicalFormula)getTerm(1); + /** gets the RHS of this operation */ + public Term getRHS() { + return getTerm(1); } @Override Modified: trunk/src/jason/asSyntax/LogExpr.java =================================================================== --- trunk/src/jason/asSyntax/LogExpr.java 2008-09-12 14:16:52 UTC (rev 1366) +++ trunk/src/jason/asSyntax/LogExpr.java 2008-09-12 15:04:23 UTC (rev 1367) @@ -67,7 +67,17 @@ super(oper.toString(),(Term)f); op = oper; } - + + /** gets the LHS of this Expression */ + public LogicalFormula getLHS() { + return (LogicalFormula)getTerm(0); + } + + /** gets the RHS of this Expression */ + public LogicalFormula getRHS() { + return (LogicalFormula)getTerm(1); + } + public Iterator<Unifier> logicalConsequence(final Agent ag, final Unifier un) { try { switch (op) { This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |