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

Class LogicTermTranslator

java.lang.Object

edu.kit.ipd.sdq.dataflow.systemmodel.LogicTermTranslator

public class LogicTermTranslator
extends Object

Translates LogicTerms (the right sides of Variable Assignments).

Constructor Summary

Constructors

Constructor	Description
LogicTermTranslator(TranslationCache bb, Configuration config)

Method Summary

Modifier and Type	Method	Description
protected String	_translate(And term, LogicTermContext context)
protected String	_translate(DefaultStateRef term, LogicTermContext context)
protected String	_translate(False term, LogicTermContext context)
protected String	_translate(MinStatic term, LogicTermContext context)
protected String	_translate(Not term, LogicTermContext context)
protected String	_translate(Or term, LogicTermContext context)
protected String	_translate(ParameterRef term, LogicTermContext context)
protected String	_translate(PropertyRef term, LogicTermContext context)
protected String	_translate(ReturnValueRef term, LogicTermContext context)
protected String	_translate(StateRef term, LogicTermContext context)
protected String	_translate(True term, LogicTermContext context)
String	getWildcardOrName(Attribute attrib, LogicTermContext context)
String	getWildcardOrName(Value value, LogicTermContext context)
String	translate(LogicTerm term, LogicTermContext context)
String	translateMinStaticForStaticValue(MinStatic term, LogicTermContext context, LogicTermContext activaValueContext, String localVarName)
String	translateMinStaticForValue(MinStatic term, LogicTermContext context, LogicTermContext activaValueContext, String localVarName)
static String	trimWhitespaces(String text)

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicTermTranslator

public LogicTermTranslator(TranslationCache bb,
                           Configuration config)

Method Detail

getWildcardOrName

public String getWildcardOrName(Attribute attrib,
                                LogicTermContext context)

getWildcardOrName

public String getWildcardOrName(Value value,
                                LogicTermContext context)

_translate

protected String _translate(True term,
                            LogicTermContext context)

_translate

protected String _translate(False term,
                            LogicTermContext context)

_translate

protected String _translate(Not term,
                            LogicTermContext context)

_translate

protected String _translate(And term,
                            LogicTermContext context)

_translate

protected String _translate(Or term,
                            LogicTermContext context)

_translate

protected String _translate(PropertyRef term,
                            LogicTermContext context)

_translate

protected String _translate(DefaultStateRef term,
                            LogicTermContext context)

_translate

protected String _translate(ParameterRef term,
                            LogicTermContext context)

_translate

protected String _translate(ReturnValueRef term,
                            LogicTermContext context)

_translate

protected String _translate(StateRef term,
                            LogicTermContext context)

_translate

protected String _translate(MinStatic term,
                            LogicTermContext context)

translateMinStaticForValue

public String translateMinStaticForValue(MinStatic term,
                                         LogicTermContext context,
                                         LogicTermContext activaValueContext,
                                         String localVarName)

translateMinStaticForStaticValue

public String translateMinStaticForStaticValue(MinStatic term,
                                               LogicTermContext context,
                                               LogicTermContext activaValueContext,
                                               String localVarName)

trimWhitespaces

public static String trimWhitespaces(String text)

translate

public String translate(LogicTerm term,
                        LogicTermContext context)