Examples of com.odiago.flumebase.lang.UniversalType

com.odiago.flumebase.lang.UniversalType
A representation of an abstract type which can be unified to a specific concrete type on a per-expression basis.
This is used by functions to specify arguments and return values of variable type. These are only valid as argument and return types of FnCallExprs.

As an expression is typechecked, UniversalType instances will be compared against the actual types of arguments to the function; constraints generated by these comparisons will result in the UniversalType being replaced in the official expression by a concrete type.

UniversalType instances may carry constraints that restrict the set of concrete types to which they may be unified. Each constraint is a promotesTo relationship. e.g., adding a constraint of Type.TypeName.TYPECLASS_NUMERIC asserts that the final type this takes on must promote to TYPECLASS_NUMERIC.

Note that the equals() method operates on the alias and the constraints; if two instances of a UniversalType have the same alias and the same constraints (or no constraints at all), they will be judged "equal;" if a function has two unbound argument types that are unrelated, they should be instantiated with different aliases, such as "'a" and "'b".

public class max extends AggregateFunc<Comparable> {
  private UniversalType mArgType;


  public max() {
    // Argument may have any input type.
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_COMPARABLE));
  }

View Full Code Here

 */
public class index extends ScalarFunc {
  private UniversalType mArgType;


  public index() {
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_ANY));
  }

View Full Code Here

 */
public class avg extends AggregateFunc<AvgState> {
  private UniversalType mArgType;


  public avg() {
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_NUMERIC));
  }

View Full Code Here

 */
public class contains extends ScalarFunc {
  private UniversalType mArgType;


  public contains() {
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_ANY));
  }

View Full Code Here

 */
public class to_list extends ScalarFunc {
  private UniversalType mArgType;


  public to_list() {
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_ANY));
  }

View Full Code Here

 */
public class concat extends ScalarFunc {
  private UniversalType mArgType;


  public concat() {
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_ANY));
  }

View Full Code Here

public class count extends AggregateFunc<Integer> {
  private UniversalType mArgType;


  public count() {
    // Argument may have any input type.
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_ANY));
  }

View Full Code Here

public class min extends AggregateFunc<Comparable> {
  private UniversalType mArgType;


  public min() {
    // Argument may have any input type.
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_COMPARABLE));
  }

View Full Code Here

 */
public class square extends ScalarFunc {
  private UniversalType mArgType;


  public square() {
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_NUMERIC));
  }

View Full Code Here

 */
public class size extends ScalarFunc {
  private UniversalType mArgType;


  public size() {
    mArgType = new UniversalType("'a");
    mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_ANY));
  }

View Full Code Here

0 1

TOP

Related Classes of com.odiago.flumebase.lang.UniversalType

com.odiago.flumebase.exec.builtins.avg

com.odiago.flumebase.exec.builtins.concat

com.odiago.flumebase.exec.builtins.contains

com.odiago.flumebase.exec.builtins.count

com.odiago.flumebase.exec.builtins.index

com.odiago.flumebase.exec.builtins.max

com.odiago.flumebase.exec.builtins.min

com.odiago.flumebase.exec.builtins.size

com.odiago.flumebase.exec.builtins.square

com.odiago.flumebase.exec.builtins.sum

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.