diff options
author | Christian <c@ethdev.com> | 2014-10-14 00:22:15 +0800 |
---|---|---|
committer | Christian <c@ethdev.com> | 2014-10-16 00:40:19 +0800 |
commit | 89b794f1dc15c8688526470b9d68b361dab82be3 (patch) | |
tree | 92db8a29965ee2dd796b22a1508f58b2d199e71e /AST.cpp | |
parent | bdac5c7b4b5c23ea4f2cfe4a779da05b4722f1be (diff) | |
download | dexon-solidity-89b794f1dc15c8688526470b9d68b361dab82be3.tar dexon-solidity-89b794f1dc15c8688526470b9d68b361dab82be3.tar.gz dexon-solidity-89b794f1dc15c8688526470b9d68b361dab82be3.tar.bz2 dexon-solidity-89b794f1dc15c8688526470b9d68b361dab82be3.tar.lz dexon-solidity-89b794f1dc15c8688526470b9d68b361dab82be3.tar.xz dexon-solidity-89b794f1dc15c8688526470b9d68b361dab82be3.tar.zst dexon-solidity-89b794f1dc15c8688526470b9d68b361dab82be3.zip |
Type system, not yet complete.
Diffstat (limited to 'AST.cpp')
-rw-r--r-- | AST.cpp | 244 |
1 files changed, 230 insertions, 14 deletions
@@ -20,6 +20,8 @@ * Solidity abstract syntax tree. */ +#include <algorithm> + #include <libsolidity/AST.h> #include <libsolidity/ASTVisitor.h> @@ -66,8 +68,8 @@ void FunctionDefinition::accept(ASTVisitor& _visitor) void VariableDeclaration::accept(ASTVisitor& _visitor) { if (_visitor.visit(*this)) { - if (m_type) - m_type->accept(_visitor); + if (m_typeName) + m_typeName->accept(_visitor); } _visitor.endVisit(*this); } @@ -170,12 +172,6 @@ void VariableDefinition::accept(ASTVisitor& _visitor) _visitor.endVisit(*this); } -void Expression::accept(ASTVisitor& _visitor) -{ - _visitor.visit(*this); - _visitor.endVisit(*this); -} - void Assignment::accept(ASTVisitor& _visitor) { if (_visitor.visit(*this)) { @@ -228,12 +224,6 @@ void IndexAccess::accept(ASTVisitor& _visitor) _visitor.endVisit(*this); } -void PrimaryExpression::accept(ASTVisitor& _visitor) -{ - _visitor.visit(*this); - _visitor.endVisit(*this); -} - void Identifier::accept(ASTVisitor& _visitor) { _visitor.visit(*this); @@ -252,4 +242,230 @@ void Literal::accept(ASTVisitor& _visitor) _visitor.endVisit(*this); } +void Statement::expectType(Expression& _expression, const Type& _expectedType) +{ + if (!_expression.checkTypeRequirements()->isImplicitlyConvertibleTo(_expectedType)) + throw std::exception(); // @todo +} + +ptr<Type> Block::checkTypeRequirements() +{ + for (ptr<Statement> const& statement : m_statements) + statement->checkTypeRequirements(); + return ptr<Type>(); +} + +ptr<Type> IfStatement::checkTypeRequirements() +{ + expectType(*m_condition, BoolType()); + m_trueBody->checkTypeRequirements(); + if (m_falseBody) m_falseBody->checkTypeRequirements(); + return ptr<Type>(); +} + +ptr<Type> WhileStatement::checkTypeRequirements() +{ + expectType(*m_condition, BoolType()); + m_body->checkTypeRequirements(); + return ptr<Type>(); +} + +ptr<Type> Continue::checkTypeRequirements() +{ + return ptr<Type>(); +} + +ptr<Type> Break::checkTypeRequirements() +{ + return ptr<Type>(); +} + +ptr<Type> Return::checkTypeRequirements() +{ + BOOST_ASSERT(m_returnParameters != nullptr); + if (m_returnParameters->getParameters().size() != 1) + throw std::exception(); // @todo + // this could later be changed such that the paramaters type is an anonymous struct type, + // but for now, we only allow one return parameter + + expectType(*m_expression, *m_returnParameters->getParameters().front()->getType()); + return ptr<Type>(); +} + +ptr<Type> VariableDefinition::checkTypeRequirements() +{ + // Variables can be declared without type (with "var"), in which case the first assignment + // setsthe type. + // Note that assignments before the first declaration are legal because of the special scoping + // rules inherited from JavaScript. + if (m_value) { + if (m_variable->getType()) { + expectType(*m_value, *m_variable->getType()); + } else { + // no type declared and no previous assignment, infer the type + m_variable->setType(m_value->checkTypeRequirements()); + } + } + return ptr<Type>(); +} + +ptr<Type> Assignment::checkTypeRequirements() +{ + //@todo lefthandside actually has to be assignable + // add a feature to the type system to check that + expectType(*m_rightHandSide, *m_leftHandSide->checkTypeRequirements()); + m_type = m_leftHandSide->getType(); + if (m_assigmentOperator != Token::ASSIGN) { + // complex assignment + if (!m_type->acceptsBinaryOperator(Token::AssignmentToBinaryOp(m_assigmentOperator))) + throw std::exception(); + } + return m_type; +} + +ptr<Type> UnaryOperation::checkTypeRequirements() +{ + // INC, DEC, NOT, BIT_NOT, DELETE + m_type = m_subExpression->checkTypeRequirements(); + if (m_type->acceptsUnaryOperator(m_operator)) + throw std::exception(); + return m_type; +} + +ptr<Type> BinaryOperation::checkTypeRequirements() +{ + m_right->checkTypeRequirements(); + m_left->checkTypeRequirements(); + + if (m_right->getType()->isImplicitlyConvertibleTo(*m_left->getType())) + m_commonType = m_left->getType(); + else if (m_left->getType()->isImplicitlyConvertibleTo(*m_right->getType())) + m_commonType = m_right->getType(); + else + throw std::exception(); + + if (Token::IsCompareOp(m_operator)) { + m_type = std::make_shared<BoolType>(); + } else { + BOOST_ASSERT(Token::IsBinaryOp(m_operator)); + m_type = m_commonType; + if (!m_commonType->acceptsBinaryOperator(Token::AssignmentToBinaryOp(m_operator))) + throw std::exception(); + } + return m_type; +} + +ptr<Type> FunctionCall::checkTypeRequirements() +{ + m_expression->checkTypeRequirements(); + for (ptr<Expression> const& argument : m_arguments) + argument->checkTypeRequirements(); + + ptr<Type> expressionType = m_expression->getType(); + Type::Category const category = expressionType->getCategory(); + if (category == Type::Category::TYPE) { + TypeType* type = dynamic_cast<TypeType*>(expressionType.get()); + BOOST_ASSERT(type != nullptr); + //@todo for structs, we have to check the number of arguments to be equal to the + // number of non-mapping members + if (m_arguments.size() != 1) + throw std::exception(); + if (!m_arguments.front()->getType()->isExplicitlyConvertibleTo(*type->getActualType())) + throw std::exception(); + m_type = type->getActualType(); + } else if (category == Type::Category::FUNCTION) { + //@todo would be nice to create a struct type from the arguments + // and then ask if that is implicitly convertible to the struct represented by the + // function parameters + FunctionType* function = dynamic_cast<FunctionType*>(expressionType.get()); + BOOST_ASSERT(function != nullptr); + FunctionDefinition const& fun = function->getFunction(); + vecptr<VariableDeclaration> const& parameters = fun.getParameters(); + if (parameters.size() != m_arguments.size()) + throw std::exception(); + for (size_t i = 0; i < m_arguments.size(); ++i) { + if (!m_arguments[i]->getType()->isImplicitlyConvertibleTo(*parameters[i]->getType())) + throw std::exception(); + } + + // @todo actually the return type should be an anonymous struct, + // but we change it to the type of the first return value until we have structs + if (fun.getReturnParameterList()->getParameters().empty()) + m_type = std::make_shared<VoidType>(); + else + m_type = fun.getReturnParameterList()->getParameters().front()->getType(); + } else { + throw std::exception(); // type does not support invocation + } + return m_type; +} + +ptr<Type> MemberAccess::checkTypeRequirements() +{ + BOOST_ASSERT(false); // not yet implemented + // m_type = ; + return m_type; +} + +ptr<Type> IndexAccess::checkTypeRequirements() +{ + BOOST_ASSERT(false); // not yet implemented + // m_type = ; + return m_type; +} + +ptr<Type> Identifier::checkTypeRequirements() +{ + BOOST_ASSERT(m_referencedDeclaration != nullptr); + //@todo these dynamic casts here are not really nice... + // is i useful to have an AST visitor here? + // or can this already be done in NameAndTypeResolver? + // the only problem we get there is that in + // var x; + // x = 2; + // var y = x; + // the type of x is not yet determined. + VariableDeclaration* variable = dynamic_cast<VariableDeclaration*>(m_referencedDeclaration); + if (variable != nullptr) { + if (variable->getType().get() == nullptr) + throw std::exception(); // variable used before type could be determined + m_type = variable->getType(); + return m_type; + } + //@todo can we unify these with TypeName::toType()? + StructDefinition* structDef = dynamic_cast<StructDefinition*>(m_referencedDeclaration); + if (structDef != nullptr) { + // note that we do not have a struct type here + m_type = std::make_shared<TypeType>(std::make_shared<StructType>(*structDef)); + return m_type; + } + FunctionDefinition* functionDef = dynamic_cast<FunctionDefinition*>(m_referencedDeclaration); + if (functionDef != nullptr) { + // a function reference is not a TypeType, because calling a TypeType converts to the type. + // Calling a function (e.g. function(12), otherContract.function(34)) does not do a type + // conversion. + m_type = std::make_shared<FunctionType>(*functionDef); + return m_type; + } + ContractDefinition* contractDef = dynamic_cast<ContractDefinition*>(m_referencedDeclaration); + if (contractDef != nullptr) { + m_type = std::make_shared<TypeType>(std::make_shared<ContractType>(*contractDef)); + return m_type; + } + throw std::exception(); // declaration reference of unknown/forbidden type + return m_type; +} + +ptr<Type> ElementaryTypeNameExpression::checkTypeRequirements() +{ + m_type = std::make_shared<TypeType>(Type::fromElementaryTypeName(m_typeToken)); + return m_type; +} + +ptr<Type> Literal::checkTypeRequirements() +{ + m_type = Type::forLiteral(*this); + return m_type; +} + } } |