libutap  0.93
Uppaal Timed Automata Parser
signalflow.cpp File Reference
#include "utap/signalflow.h"
#include "utap/common.h"
#include <iostream>
#include <sstream>
#include <string>
#include <iterator>
#include <algorithm>
#include <functional>
#include <cassert>
Include dependency graph for signalflow.cpp:

Go to the source code of this file.

Macros

#define BADSTYLE   "style=filled,fillcolor=\"#FF8080\""
 
#define IUTSTYLE   "style=filled,fillcolor=\"#B8C0FF\""
 
#define ENVSTYLE   "style=filled,fillcolor=\"#C8FFC8\""
 
#define MEDSTYLE   "style=filled,fillcolor=\"#C0C0C0\""
 

Functions

char * get_token (istream &in)
 
void set_remove (SignalFlow::strs_t &from, const SignalFlow::strs_t &what)
 

Variables

static const char * noChan = "-"
 

Macro Definition Documentation

◆ BADSTYLE

#define BADSTYLE   "style=filled,fillcolor=\"#FF8080\""

Definition at line 1187 of file signalflow.cpp.

Referenced by UTAP::Partitioner::printForDot().

◆ ENVSTYLE

#define ENVSTYLE   "style=filled,fillcolor=\"#C8FFC8\""

Definition at line 1189 of file signalflow.cpp.

Referenced by UTAP::Partitioner::printForDot().

◆ IUTSTYLE

#define IUTSTYLE   "style=filled,fillcolor=\"#B8C0FF\""

Definition at line 1188 of file signalflow.cpp.

Referenced by UTAP::Partitioner::printForDot().

◆ MEDSTYLE

#define MEDSTYLE   "style=filled,fillcolor=\"#C0C0C0\""

Definition at line 1190 of file signalflow.cpp.

Referenced by UTAP::Partitioner::printForDot().

Function Documentation

◆ get_token()

char* get_token ( istream &  in)

Definition at line 1019 of file signalflow.cpp.

References free(), and UTAP::Partitioner::partition().

Here is the call graph for this function:

◆ set_remove()

void set_remove ( SignalFlow::strs_t &  from,
const SignalFlow::strs_t &  what 
)
inline

Definition at line 1192 of file signalflow.cpp.

References UTAP::SignalFlow::out.

Referenced by UTAP::Partitioner::printForDot().

Here is the caller graph for this function:

Variable Documentation

◆ noChan

const char* noChan = "-"
static

Definition at line 418 of file signalflow.cpp.

Referenced by UTAP::SignalFlow::visitProcess().