de.cau.cs.kieler.dataflow.codegen
Class TypeHelper

java.lang.Object
  extended by de.cau.cs.kieler.dataflow.codegen.TypeHelper

public final class TypeHelper
extends Object

Functions for Type Inference.

Rating red

Method Summary
static String getType(Port p)
           
static void inferTypes(Box box)
          Infer types from known operators.
static void reset()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

reset

public static void reset()

inferTypes

public static void inferTypes(Box box)
Infer types from known operators. These are: max, min, +, -, /, *, and, or, xor, <, <=, =, =>, >, <>, not, if, when, true, false, pre and current.

Parameters:
box - for which types are infered

getType

public static String getType(Port p)
Parameters:
p - a port
Returns:
inferred type for the given port