AddExpr Class Reference

#include <Expr.h>

Inheritance diagram for AddExpr:

[legend]Collaboration diagram for AddExpr:

[legend]List of all members.

Public Member Functions
	AddExpr (Expr *op1, Expr *op2)
void	Canonicize ()
Protected Member Functions
	AddExpr ()
Expr *	DoSimplify ()
	DECLARE_SERIAL (AddExpr)
Friends
class	Expr

---

Constructor & Destructor Documentation

AddExpr::AddExpr (  Expr *  op1, Expr *  op2 )

Definition at line 1208 of file Expr.cc. References BroType::AsVectorType(), base_type(), BothArithmetic, EXPR_ADD, Expr::ExprError(), is_vector(), Expr::IsError(), IsVector, max_type(), BinaryExpr::PromoteType(), Expr::SetType(), BroType::Tag(), Expr::Type(), TYPE_INTERVAL, TYPE_TIME, TypeTag, and VectorType::YieldType(). : BinaryExpr(EXPR_ADD, arg_op1, arg_op2) { if ( IsError() ) return; TypeTag bt1 = op1->Type()->Tag(); if ( IsVector(bt1) ) bt1 = op1->Type()->AsVectorType()->YieldType()->Tag(); TypeTag bt2 = op2->Type()->Tag(); if ( IsVector(bt2) ) bt2 = op2->Type()->AsVectorType()->YieldType()->Tag(); BroType* base_result_type = 0; if ( bt1 == TYPE_TIME && bt2 == TYPE_INTERVAL ) base_result_type = base_type(bt1); else if ( bt2 == TYPE_TIME && bt1 == TYPE_INTERVAL ) base_result_type = base_type(bt2); else if ( bt1 == TYPE_INTERVAL && bt2 == TYPE_INTERVAL ) base_result_type = base_type(bt1); else if ( BothArithmetic(bt1, bt2) ) PromoteType(max_type(bt1, bt2), is_vector(op1) || is_vector(op2)); else ExprError("requires arithmetic operands"); if ( base_result_type ) { if ( is_vector(op1) || is_vector(op2) ) SetType(new VectorType(base_result_type)); else SetType(base_result_type); } }

AddExpr::AddExpr (   )  [inline, protected]

Definition at line 421 of file Expr.h. Referenced by DoSimplify(). { }

---

Member Function Documentation

void AddExpr::Canonicize (   )  [virtual]

Reimplemented from Expr. Definition at line 1262 of file Expr.cc. References expr_greater(), Expr::ExprVal(), is_vector(), Expr::IsConst(), BinaryExpr::SwapOps(), BroType::Tag(), Expr::Type(), TYPE_INTERVAL, and TYPE_TIME. { if ( expr_greater(op2, op1) || (op1->Type()->Tag() == TYPE_INTERVAL && op2->Type()->Tag() == TYPE_TIME) || (op2->IsConst() && ! is_vector(op2->ExprVal()) && ! op1->IsConst())) SwapOps(); }

AddExpr::DECLARE_SERIAL (  AddExpr   )  [protected]

Expr * AddExpr::DoSimplify (   )  [protected, virtual]

Reimplemented from BinaryExpr. Definition at line 1244 of file Expr.cc. References AddExpr(), EXPR_NEGATE, Expr::IsZero(), Expr::Ref(), and Expr::Tag(). { // If there's a constant, then it's in op1, since Canonicize() // makes sure of that. if ( op1->IsZero() ) return op2->Ref(); else if ( op1->Tag() == EXPR_NEGATE ) // (-a)+b = b-a return new AddExpr(op2->Ref(), ((NegExpr*) op1)->Op()->Ref()); else if ( op2->Tag() == EXPR_NEGATE ) // a+(-b) == a-b return new SubExpr(op1->Ref(), ((NegExpr*) op2)->Op()->Ref()); return this; }

---

Friends And Related Function Documentation

friend class Expr [friend]

Reimplemented from BinaryExpr. Definition at line 420 of file Expr.h.

---

The documentation for this class was generated from the following files:

• Expr.h
• Expr.cc

---