Package edu.kit.ipd.sdq.dataflow.systemmodel.typing

Class TermTypeRestrictionsCollector

java.lang.Object

edu.kit.ipd.sdq.dataflow.systemmodel.typing.TermTypeRestrictionsCollector

public class TermTypeRestrictionsCollector
extends Object

Collects all TypeRestrictions for a given LogicTerm.

Constructor Summary

Constructors

Constructor	Description
TermTypeRestrictionsCollector(TranslationCache bb)

Method Summary

Modifier and Type	Method	Description
protected TypeRestrictions	_collect(And term)
protected TypeRestrictions	_collect(DefaultStateRef term)
protected TypeRestrictions	_collect(LogicTerm term)
protected TypeRestrictions	_collect(Not term)
protected TypeRestrictions	_collect(Or term)
protected TypeRestrictions	_collect(ParameterRef term)
protected TypeRestrictions	_collect(PropertyRef term)
protected TypeRestrictions	_collect(ReturnValueRef term)
protected TypeRestrictions	_collect(StateRef term)
TypeRestrictions	collect(LogicTerm term)

Methods inherited from class java.lang.Object

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

Constructor Detail

TermTypeRestrictionsCollector

public TermTypeRestrictionsCollector(TranslationCache bb)

Method Detail

_collect

protected TypeRestrictions _collect(LogicTerm term)

_collect

protected TypeRestrictions _collect(Not term)

_collect

protected TypeRestrictions _collect(And term)

_collect

protected TypeRestrictions _collect(Or term)

_collect

protected TypeRestrictions _collect(PropertyRef term)

_collect

protected TypeRestrictions _collect(ReturnValueRef term)

_collect

protected TypeRestrictions _collect(ParameterRef term)

_collect

protected TypeRestrictions _collect(StateRef term)

_collect

protected TypeRestrictions _collect(DefaultStateRef term)

collect

public TypeRestrictions collect(LogicTerm term)