boxtype.cpp File Reference

A simple type system for block diagram expressions. The type of a block diagram is defined by a number of inputs and outputs. More...

#include <stdio.h>
#include <string.h>
#include "boxes.hh"
#include "ppbox.hh"
#include "prim2.hh"
#include "xtended.hh"

Include dependency graph for boxtype.cpp:

Go to the source code of this file.

Functions
bool	getBoxType (Tree box, int *inum, int *onum)
	Return the type (number of inputs and outputs) of a box or false if undefined.

---

Detailed Description

A simple type system for block diagram expressions. The type of a block diagram is defined by a number of inputs and outputs.

Author:

Yann Orlarey

Version:

1.0

Date:

2003

Definition in file boxtype.cpp.

---

Function Documentation

bool getBoxType	(	Tree	box,
		int *	inum,
		int *	onum
	)

Return the type (number of inputs and outputs) of a box or false if undefined.

Parameters:

	box	the box we want to know the type
	inum	the place to return the number of inputs
	onum	the place to return the number of outputs

Returns:

true if type is defined, false if undefined

Definition at line 63 of file boxtype.cpp.

References CTree::node().

{
    Tree t;
    if (getProperty(box, BOXTYPEPROP, t)) {
        
        if (isNil(t)) {
            return false;
        } else {
            *inum = hd(t)->node().getInt();
            *onum = tl(t)->node().getInt();
            return true;
        }
        
    } else {
    
        if (infereBoxType(box, inum, onum)) {
            setProperty(box, BOXTYPEPROP, cons(tree(*inum), tree(*onum)));
            return true;
        } else {
            setProperty(box, BOXTYPEPROP, nil);
            return false;
        }
    }
}

Here is the call graph for this function: