com.googlecode.sarasvati.rubric.lang.RubricExprAnd Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sarasvati-core Show documentation

The newest version!

/*
    This file is part of Sarasvati.

    Sarasvati 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, either version 3 of the
    License, or (at your option) any later version.

    Sarasvati 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 Sarasvati.  If not, see .

    Copyright 2008 Paul Lorenz
*/

package com.googlecode.sarasvati.rubric.lang;

import com.googlecode.sarasvati.rubric.env.PredicateEnv;
import com.googlecode.sarasvati.rubric.visitor.RubricVisitor;

public class RubricExprAnd extends AbstractBinaryRubricExpr
{
  public RubricExprAnd (final RubricExpr left, final RubricExpr right)
  {
    super( left, right );
  }

  @Override
  public boolean eval (final PredicateEnv env)
  {
    return left.eval( env ) && right.eval( env );
  }

  @Override
  public void traverse (final RubricVisitor visitor)
  {
    visitor.visit( this );
    left.traverse( visitor );
    right.traverse( visitor );
  }

  @Override
  public boolean isAnd ()
  {
    return true;
  }

  @Override
  public RubricExprAnd asAnd ()
  {
    return this;
  }

  @Override
  public boolean isEqualTo (final RubricExpr expr)
  {
    if ( !expr.isAnd() )
    {
      return false;
    }

    RubricExprAnd other = expr.asAnd();
    return other.getLeft().isEqualTo( left ) &&
           other.getRight().isEqualTo( right );
  }

  @Override
  public String toString ()
  {
    return "(and " + left + " " + right + ")";
  }
}