de.cau.cs.kieler.dataflow.codegen
Class TypeHelper
java.lang.Object
de.cau.cs.kieler.dataflow.codegen.TypeHelper
public final class TypeHelper
- extends Object
Functions for Type Inference.
- Rating

Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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