Inheritance diagram for AbsPrim:

Collaboration diagram for AbsPrim:

Public Member Functions
	AbsPrim ()

virtual unsigned int	arity ()

virtual bool	needCache ()

virtual Type	infereSigType (const vector< Type > &types)

virtual void	sigVisit (Tree sig, sigvisitor *visitor)

virtual int	infereSigOrder (const vector< int > &args)

virtual Tree	computeSigOutput (const vector< Tree > &args)

virtual string	generateCode (Klass *klass, const vector< string > &args, const vector< Type > &types)

virtual string	generateLateq (Lateq *lateq, const vector< string > &args, const vector< Type > &types)

Public Member Functions inherited from xtended
	xtended (const char *name)

virtual	~xtended ()

Sym	symbol ()

const char *	name ()

Tree	box ()

virtual bool	isSpecialInfix ()
	generaly false, but true for binary op # such that #(x) == _::x More...

Detailed Description

Definition at line 8 of file absprim.cpp.

Constructor & Destructor Documentation

AbsPrim::AbsPrim ( )

inline

Definition at line 13 of file absprim.cpp.

13 : xtended("abs") {}

xtended::xtended

xtended(const char *name)

Definition: xtended.hh:18

Member Function Documentation

virtual unsigned int AbsPrim::arity ( )

inlinevirtual

Implements xtended.

Definition at line 15 of file absprim.cpp.

Referenced by computeSigOutput(), generateCode(), generateLateq(), infereSigOrder(), and infereSigType().

15 { return 1; }

Here is the caller graph for this function:

virtual Tree AbsPrim::computeSigOutput ( const vector< Tree > & args )

inlinevirtual

Implements xtended.

Definition at line 36 of file absprim.cpp.

References abs(), arity(), isDouble(), isInt(), xtended::symbol(), and tree().

     {
         double f; int i;
 
         assert (args.size() == arity());
 
         if (isDouble(args[0]->node(),&f)) {
             return tree(fabs(f));
 
         } else if (isInt(args[0]->node(),&i)) {
             return tree(abs(i));
 
         } else {
             return tree(symbol(), args[0]);
         }
     }

Here is the call graph for this function:

virtual string AbsPrim::generateCode	(	Klass *	klass,
		const vector< string > &	args,
		const vector< Type > &	types
	)

inlinevirtual

Implements xtended.

Definition at line 53 of file absprim.cpp.

References arity(), infereSigType(), isuffix(), kReal, and subst().

     {
         assert (args.size() == arity());
         assert (types.size() == arity());
 
         Type t = infereSigType(types);
         if (t->nature() == kReal) {
             return subst("fabs$1($0)", args[0], isuffix());
         } else {
             return subst("abs($0)", args[0]);
         }
     }

Here is the call graph for this function:

virtual string AbsPrim::generateLateq	(	Lateq *	lateq,
		const vector< string > &	args,
		const vector< Type > &	types
	)

inlinevirtual

Implements xtended.

Definition at line 66 of file absprim.cpp.

References arity(), infereSigType(), and subst().

     {
         assert (args.size() == arity());
         assert (types.size() == arity());
         
         Type t = infereSigType(types);
         return subst("\\left\\lvert{$0}\\right\\rvert", args[0]);
     }

Here is the call graph for this function:

virtual int AbsPrim::infereSigOrder ( const vector< int > & args )

inlinevirtual

Implements xtended.

Definition at line 29 of file absprim.cpp.

References arity().

     {
         assert (args.size() == arity());
         return args[0];
     }

Here is the call graph for this function:

virtual Type AbsPrim::infereSigType ( const vector< Type > & types )

inlinevirtual

Implements xtended.

Definition at line 19 of file absprim.cpp.

References abs(), arity(), and castInterval().

Referenced by generateCode(), and generateLateq().

     {
         assert (types.size() == arity());
         Type t = types[0];
         return castInterval(t, abs(t->getInterval()));
         return t;
     }