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)
FixedType	getDataType(Relation relation)
PrimitiveName	getPrimitiveName(OverloadedDeclaration overloadedDeclaration)
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 FixedType getDataType(Relation relation)

getAggregatorName

public AggregatorName getAggregatorName(AggregatorDeclaration aggregatorDeclaration)

getPrimitiveName

public PrimitiveName getPrimitiveName(OverloadedDeclaration overloadedDeclaration)