package org.jacorb.notification.filter.etcl;
/*
* JacORB - a free Java ORB
*
* Copyright (C) 1999-2014 Gerald Brose / The JacORB Team.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Library General Public
* License as published by the Free Software Foundation; either
* version 2 of the License, or (at your option) any later version.
*
* 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
* Library General Public License for more details.
*
* You should have received a copy of the GNU Library General Public
* License along with this library; if not, write to the Free
* Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*
*/
/**
* @author Alphonse Bendt
*/
public class StaticTypeChecker extends AbstractTCLVisitor
{
public void check(AbstractTCLNode rootNode) throws StaticTypeException
{
try
{
rootNode.acceptPostOrder(this);
} catch (VisitorException e)
{
throw new StaticTypeException(e.toString());
}
}
private void checkBinaryNumaryOperatorNode(AbstractTCLNode node) throws StaticTypeException
{
if (node.isStatic())
{
if (node.left().isNumber() && node.right().isNumber())
{
return;
}
throw new StaticTypeException("num or float excepted): " + node.toStringTree());
}
}
public void visitGt(GtOperator n) throws VisitorException
{
// no check
}
public void visitPlus(PlusOperator n) throws VisitorException
{
checkBinaryNumaryOperatorNode(n);
}
public void visitMinus(MinusOperator node) throws VisitorException
{
checkBinaryNumaryOperatorNode(node);
}
public void visitDiv(DivOperator node) throws VisitorException
{
checkBinaryNumaryOperatorNode(node);
}
public void visitMult(MultOperator node) throws VisitorException
{
checkBinaryNumaryOperatorNode(node);
}
public void visitSubstr(SubstrOperator node) throws VisitorException
{
if (node.isStatic())
{
if (node.left().isString() && node.right().isString())
{
return;
}
throw new StaticTypeException("~ Operator expects 2 Strings");
}
}
public void visitAnd(AndOperator and) throws VisitorException
{
if (and.isStatic())
{
if (and.left().isBoolean() && and.right().isBoolean())
{
return;
}
throw new StaticTypeException("bool value expected");
}
}
}