Package tools.refinery.language.ide.syntaxcoloring

Class TypeHashProvider

java.lang.Object

tools.refinery.language.ide.syntaxcoloring.TypeHashProvider

public class TypeHashProvider
extends Object

Constructor Summary

Constructors

Constructor	Description
TypeHashProvider()

Method Summary

Modifier and Type	Method	Description
String	getTypeHash(Relation relation)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeHashProvider

public TypeHashProvider()

Method Details

getTypeHash

public String getTypeHash(Relation relation)