irafhy::LocationsVisitor< Analyser > Class Template Reference

#include <locationsVisitor.h>

Inheritance diagram for irafhy::LocationsVisitor< Analyser >:

Collaboration diagram for irafhy::LocationsVisitor< Analyser >:

Public Member Functions
	LocationsVisitor ()=default
	constructor More...
	LocationsVisitor (const std::vector< std::string > &vars)
	constructor with given variables More...
	~LocationsVisitor () override=default
	destructor More...
antlrcpp::Any	visitModelid (hybridautomatonParser::ModelidContext *ctx) override
	visitor of mode's id More...
antlrcpp::Any	visitFlows (hybridautomatonParser::FlowsContext *ctx) override
	visitor of continuous dynamics More...
antlrcpp::Any	visitInvariantcondition (hybridautomatonParser::InvariantconditionContext *ctx) override
	visitor of invariant condition More...
antlrcpp::Any	visitModel (hybridautomatonParser::ModelContext *ctx) override
	visitor of mode More...
antlrcpp::Any	visitLocations (hybridautomatonParser::LocationsContext *ctx) override
	visitor of locations More...

Private Attributes
std::vector< std::string >	vars_
	variables of hybrid automaton More...

Constructor & Destructor Documentation

LocationsVisitor() [1/2]

template<typename Analyser >

irafhy::LocationsVisitor< Analyser >::LocationsVisitor ( )

default

constructor

LocationsVisitor() [2/2]

template<typename Analyser >

irafhy::LocationsVisitor< Analyser >::LocationsVisitor ( const std::vector< std::string > &  vars )

explicit

constructor with given variables

Parameters

vars	given variables

~LocationsVisitor()

template<typename Analyser >

irafhy::LocationsVisitor< Analyser >::~LocationsVisitor ( )

overridedefault

destructor

Member Function Documentation

visitFlows()

template<typename Analyser >

antlrcpp::Any irafhy::LocationsVisitor< Analyser >::visitFlows ( hybridautomatonParser::FlowsContext *  ctx )

override

visitor of continuous dynamics

Parameters

ctx	context of continuous dynamics

Returns

continuous dynamics instance

visitInvariantcondition()

template<typename Analyser >

antlrcpp::Any irafhy::LocationsVisitor< Analyser >::visitInvariantcondition ( hybridautomatonParser::InvariantconditionContext *  ctx )

override

visitor of invariant condition

Parameters

ctx	context of invariant condition

Returns

invariant condition instance

visitLocations()

template<typename Analyser >

antlrcpp::Any irafhy::LocationsVisitor< Analyser >::visitLocations ( hybridautomatonParser::LocationsContext *  ctx )

override

visitor of locations

Parameters

ctx	context of locations

Returns

locations instance

visitModel()

template<typename Analyser >

antlrcpp::Any irafhy::LocationsVisitor< Analyser >::visitModel ( hybridautomatonParser::ModelContext *  ctx )

override

visitor of mode

Parameters

ctx	context of mode

Returns

mode instance

visitModelid()

template<typename Analyser >

antlrcpp::Any irafhy::LocationsVisitor< Analyser >::visitModelid ( hybridautomatonParser::ModelidContext *  ctx )

override

visitor of mode's id

Parameters

ctx	context of mode's id

Returns

mode's id in string form

Member Data Documentation

vars_

template<typename Analyser >

std::vector<std::string> irafhy::LocationsVisitor< Analyser >::vars_

private

variables of hybrid automaton

---

The documentation for this class was generated from the following file:

• /home/jianqiang/CLionProjects/irafhy/include/irafhy/utility/parser/visitor/locationsVisitor.h