Package ptolemy.verification.kernel.maude

Class RTMaudeUtility

java.lang.Object

ptolemy.verification.kernel.maude.RTMaudeUtility

@Deprecated
public class RTMaudeUtility
extends java.lang.Object

Deprecated.

Use ptolemy.actor.lib.TimeDelay.

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	Description
RTMaudeUtility()	Deprecated.

Method Summary

Modifier and Type	Method	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