23 virtual std::shared_ptr < abstraction::OperationAbstraction >
getAbstraction ( )
const = 0;
29 template <
class Return >
30 class EntryImpl :
public Entry {
32 EntryImpl ( ) =
default;
34 std::shared_ptr < abstraction::OperationAbstraction >
getAbstraction ( )
const override;
42 template <
class ReturnType >
50 template <
class ReturnType >
55 template <
class ReturnType >
58 registerXmlParser < ReturnType > ( std::move (
ret ) );
61 static std::shared_ptr < abstraction::OperationAbstraction >
getAbstraction (
const std::string & typeName );
70template <
class Return >
71std::shared_ptr < abstraction::OperationAbstraction > XmlParserRegistry::EntryImpl < Return >::getAbstraction ( )
const {
72 return std::make_shared < abstraction::XmlParserAbstraction < Return > > ( );
Definition: XmlParserRegistry.hpp:21
virtual std::shared_ptr< abstraction::OperationAbstraction > getAbstraction() const =0
Definition: XmlParserRegistry.hpp:19
static void registerXmlParser()
Definition: XmlParserRegistry.hpp:56
static void unregisterXmlParser()
Definition: XmlParserRegistry.hpp:43
static std::shared_ptr< abstraction::OperationAbstraction > getAbstraction(const std::string &typeName)
Definition: XmlParserRegistry.cpp:28
static void registerXmlParser(std::string result)
Definition: XmlParserRegistry.hpp:51
Class extending the map class from the standard library. Original reason is to allow printing of the ...
Definition: map.hpp:48
Definition: AlgorithmAbstraction.hpp:11
ext::set< ext::pair< StateType, StateType > > ret(const ext::set< ext::pair< StateType, StateType > > &S, const DeterministicPushdownStoreSymbolType &pdaSymbol, const InputSymbolType &input, const N &nondeterministic)
Definition: RHDPDACommon.h:57
for(const StateType &state :fsm.getStates()) renamingData.insert(std Rename::RenamedAutomaton< T > result(renamingData.at(fsm.getInitialState()))
Definition: Rename.h:253
Definition: xmlApi.hpp:27