Package tools.refinery.store.reasoning.translator.typehierarchy

Class TypeHierarchyBuilder

java.lang.Object

tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder

Direct Known Subclasses:

ContainedTypeHierarchyBuilder

public class TypeHierarchyBuilder
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<PartialRelation,TypeInfo>	typeInfoMap

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TypeHierarchyBuilder()

Method Summary

Modifier and Type	Method	Description
TypeHierarchy	build()
TypeHierarchyBuilder	type(PartialRelation partialRelation, boolean abstractType, Collection<PartialRelation> supertypes)
TypeHierarchyBuilder	type(PartialRelation partialRelation, boolean abstractType, PartialRelation... supertypes)
TypeHierarchyBuilder	type(PartialRelation partialRelation, Collection<PartialRelation> supertypes)
TypeHierarchyBuilder	type(PartialRelation partialRelation, PartialRelation... supertypes)
TypeHierarchyBuilder	type(PartialRelation partialRelation, TypeInfo typeInfo)
TypeHierarchyBuilder	types(Collection<Map.Entry<PartialRelation,TypeInfo>> entries)
TypeHierarchyBuilder	types(Map<PartialRelation,TypeInfo> map)

Methods inherited from class java.lang.Object

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

Field Details

typeInfoMap

protected final Map<PartialRelation,TypeInfo> typeInfoMap

Constructor Details

TypeHierarchyBuilder

protected TypeHierarchyBuilder()

Method Details

type

public TypeHierarchyBuilder type(PartialRelation partialRelation,
 TypeInfo typeInfo)

type

public TypeHierarchyBuilder type(PartialRelation partialRelation,
 boolean abstractType,
 PartialRelation... supertypes)

type

public TypeHierarchyBuilder type(PartialRelation partialRelation,
 boolean abstractType,
 Collection<PartialRelation> supertypes)

type

public TypeHierarchyBuilder type(PartialRelation partialRelation,
 PartialRelation... supertypes)

type

public TypeHierarchyBuilder type(PartialRelation partialRelation,
 Collection<PartialRelation> supertypes)

types

public TypeHierarchyBuilder types(Collection<Map.Entry<PartialRelation,TypeInfo>> entries)

types

public TypeHierarchyBuilder types(Map<PartialRelation,TypeInfo> map)

build

public TypeHierarchy build()