ptolemy.verification.kernel.maude

Class RTMaudeUtility

java.lang.Object

ptolemy.verification.kernel.maude.RTMaudeUtility

Deprecated.

Use ptolemy.actor.lib.TimeDelay.

@Deprecated
public class RTMaudeUtility
extends java.lang.Object

This is an utility function for Ptolemy II models. It performs a systematic traversal of the system and generate Realtime Maude model file

Since:

Ptolemy II 8.0

Version:

$Id$

Author:

Kyungmin Bae

Pt.AcceptedRating:

Red (kbae4)

Pt.ProposedRating:

Red (kbae4)

Constructor Summary

Constructors

Constructor and Description
RTMaudeUtility() Deprecated.

Method Summary

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

RTMaudeUtility

public RTMaudeUtility()

Deprecated.

Method Detail

generateRTMDescription

public static java.lang.StringBuffer generateRTMDescription(CompositeActor model,
                                                            java.lang.String formula,
                                                            boolean inlineFilesIfPossible)
                                                     throws IllegalActionException,
                                                            NameDuplicationException

Deprecated.

Return a StringBuffer that contains the converted .maude format of the system.

Parameters:

model - The system under analysis.

formula -

Returns:

The converted .maude format of the system.

Throws:

IllegalActionException

NameDuplicationException

generateRTMDescription

public static java.lang.StringBuffer generateRTMDescription(java.io.BufferedReader template,
                                                            CompositeActor model,
                                                            java.lang.String formula)
                                                     throws IllegalActionException,
                                                            NameDuplicationException

Deprecated.

Return a StringBuffer that contains the converted .maude format of the system.

Parameters:

model - The system under analysis.

formula -

Returns:

The converted .maude format of the system.

Throws:

IllegalActionException

NameDuplicationException