eu.bandm.tools.ops.reflect

Class Pattern

java.lang.Object

eu.bandm.tools.ops.reflect.AbstractApplication

eu.bandm.tools.ops.reflect.Pattern

All Implemented Interfaces:

Application, Term

public class Pattern
extends AbstractApplication

Constructor Summary

Constructors

Constructor and Description
Pattern(Operator op, List<?> args)
Pattern(Operator op, Object... args)

Method Summary

Modifier and Type	Method and Description
Object	eval(Map<Variable,?> context)
Operator	getOperator()
List<?>	getOperatorArguments()

Methods inherited from class eu.bandm.tools.ops.reflect.AbstractApplication

equals, equals, hashCode, match, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Pattern

public Pattern(Operator op,
               Object... args)

Pattern

public Pattern(Operator op,
               List<?> args)

Method Detail

getOperator

public final Operator getOperator()

getOperatorArguments

public final List<?> getOperatorArguments()

Specified by:

getOperatorArguments in interface Application

Overrides:

getOperatorArguments in class AbstractApplication

eval

public Object eval(Map<Variable,?> context)

Specified by:

eval in interface Term

Overrides:

eval in class AbstractApplication