@Deprecated
public class RTMaudeUtility
extends java.lang.Object
Red (kbae4) |
Red (kbae4) |
Constructor and Description |
---|
RTMaudeUtility()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.StringBuffer |
generateRTMDescription(java.io.BufferedReader template,
CompositeActor model,
java.lang.String formula)
Deprecated.
Return a StringBuffer that contains the converted .maude format of the
system.
|
static java.lang.StringBuffer |
generateRTMDescription(CompositeActor model,
java.lang.String formula,
boolean inlineFilesIfPossible)
Deprecated.
Return a StringBuffer that contains the converted .maude format of the
system.
|
public static java.lang.StringBuffer generateRTMDescription(CompositeActor model, java.lang.String formula, boolean inlineFilesIfPossible) throws IllegalActionException, NameDuplicationException
model
- The system under analysis.formula
- IllegalActionException
NameDuplicationException
public static java.lang.StringBuffer generateRTMDescription(java.io.BufferedReader template, CompositeActor model, java.lang.String formula) throws IllegalActionException, NameDuplicationException
model
- The system under analysis.formula
- IllegalActionException
NameDuplicationException