Skip to content

Commit

Permalink
Structure Definitions
Browse files Browse the repository at this point in the history
* fixed incorrect signatures
* related to sealangdotorg/sea#35
  • Loading branch information
ppaulweber committed Jun 10, 2021
1 parent 91c5835 commit a2099d2
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 6 deletions.
4 changes: 2 additions & 2 deletions src/ast/Definition.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -692,13 +692,13 @@ void InvariantDefinition::accept( Visitor& visitor )
//

StructureDefinition::StructureDefinition(
const Identifier::Ptr& identifier, const NodeList< FunctionDefinition >::Ptr& functions )
const Identifier::Ptr& identifier, const FunctionDefinitions::Ptr& functions )
: Definition( Node::ID::STRUCTURE_DEFINITION, identifier )
, m_functions( functions )
{
}

const NodeList< FunctionDefinition >::Ptr& StructureDefinition::functions( void ) const
const FunctionDefinitions::Ptr& StructureDefinition::functions( void ) const
{
return m_functions;
}
Expand Down
7 changes: 3 additions & 4 deletions src/ast/Definition.h
Original file line number Diff line number Diff line change
Expand Up @@ -434,15 +434,14 @@ namespace libcasm_fe
using Ptr = std::shared_ptr< StructureDefinition >;

StructureDefinition(
const Identifier::Ptr& identifier,
const NodeList< FunctionDefinition >::Ptr& functions );
const Identifier::Ptr& identifier, const FunctionDefinitions::Ptr& functions );

const NodeList< FunctionDefinition >::Ptr& functions( void ) const;
const FunctionDefinitions::Ptr& functions( void ) const;

void accept( Visitor& visitor ) override final;

private:
const NodeList< FunctionDefinition >::Ptr m_functions;
const FunctionDefinitions::Ptr m_functions;
};

class FeatureDefinition final : public Definition
Expand Down

0 comments on commit a2099d2

Please sign in to comment.