Package tools.refinery.language.typesystem

Class SignatureProvider

java.lang.Object

tools.refinery.language.typesystem.SignatureProvider

public class SignatureProvider
extends Object

Constructor Summary

Constructors

Constructor	Description
SignatureProvider()

Method Summary

Modifier and Type	Method	Description
AggregatorName	getAggregatorName(AggregatorDeclaration aggregatorDeclaration)
int	getArity(Relation relation)
DataExprType	getDataType(DatatypeDeclaration datatypeDeclaration)
Signature	getSignature(Relation relation)

Methods inherited from class java.lang.Object

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

Constructor Details

SignatureProvider

public SignatureProvider()

Method Details

getSignature

public Signature getSignature(Relation relation)

getArity

public int getArity(Relation relation)

getDataType

public DataExprType getDataType(DatatypeDeclaration datatypeDeclaration)

getAggregatorName

public AggregatorName getAggregatorName(AggregatorDeclaration aggregatorDeclaration)