Package tools.refinery.language.utils

Class BuiltinAnnotationContext

java.lang.Object

tools.refinery.language.utils.BuiltinAnnotationContext

public class BuiltinAnnotationContext
extends Object

Constructor Summary

Constructors

Constructor	Description
BuiltinAnnotationContext()

Method Summary

Modifier and Type	Method	Description
ConcretizationSettings	getConcretizationSettings(Relation relation)
ParameterBinding	getParameterBinding(Parameter parameter)

Methods inherited from class java.lang.Object

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

Constructor Details

BuiltinAnnotationContext

public BuiltinAnnotationContext()

Method Details

getParameterBinding

public ParameterBinding getParameterBinding(Parameter parameter)

getConcretizationSettings

public ConcretizationSettings getConcretizationSettings(Relation relation)