orc.ast.extended.pattern
Class TuplePattern

java.lang.Object
  orc.ast.extended.pattern.Pattern
      orc.ast.extended.pattern.TuplePattern

public class TuplePattern
extends Pattern

Field Summary

Fields inherited from class orc.ast.extended.pattern.Pattern

CONS, EQUAL, HEAD, IF, ISCONS, ISNIL, ISNONE, ISSOME, NONE, NOT, SOME, TAIL

Constructor Summary

TuplePattern(java.util.List<Pattern> args)

Method Summary

Expression	bind(Var u, Expression g)
Expression	match(Var u)
boolean	strict()

Methods inherited from class orc.ast.extended.pattern.Pattern

bind, filter, ifexp, lift, match, opbind

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TuplePattern

public TuplePattern(java.util.List<Pattern> args)

Method Detail

bind

public Expression bind(Var u,
                       Expression g)

Specified by:

bind in class Pattern

match

public Expression match(Var u)

Specified by:

match in class Pattern

Returns:

A new expression publishing, for each publication !v of f,

 some(v')       if p(v) => v' 
 none           if p(v) => _|_
 

strict

public boolean strict()

Overrides:

strict in class Pattern