aboutsummaryrefslogblamecommitdiffstats
path: root/test/libsolidity/SemVerMatcher.cpp
blob: 08ef5277fb277996988e9f9b2a84d3d98929b0ed (plain) (tree)
1
2
3
4
5
6
7
8
9
  
                                      
 
                                                                        



                                                                            
                                                                   




                                                                         
                                                                         















































































































































































































                                                                                                     
/*
    This file is part of solidity.

    solidity is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    solidity is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with solidity.  If not, see <http://www.gnu.org/licenses/>.
*/
/**
 * @author Christian <chris@ethereum.org>
 * @date 2016
 * Unit tests for the semantic versioning matcher.
 */

#include <string>
#include <vector>
#include <tuple>
#include <libsolidity/parsing/Scanner.h>
#include <libsolidity/analysis/SemVerHandler.h>
#include "../TestHelper.h"

using namespace std;

namespace dev
{
namespace solidity
{
namespace test
{

BOOST_AUTO_TEST_SUITE(SemVerMatcher)

SemVerMatchExpression parseExpression(string const& _input)
{
    Scanner scanner{CharStream(_input)};
    vector<string> literals;
    vector<Token::Value> tokens;
    while (scanner.currentToken() != Token::EOS)
    {
        auto token = scanner.currentToken();
        string literal = scanner.currentLiteral();
        if (literal.empty() && Token::toString(token))
            literal = Token::toString(token);
        literals.push_back(literal);
        tokens.push_back(token);
        scanner.next();
    }

    auto expression = SemVerMatchExpressionParser(tokens, literals).parse();
    BOOST_CHECK_MESSAGE(
        expression.isValid(),
        "Expression \"" + _input + "\" did not parse properly."
    );
    return expression;
}

BOOST_AUTO_TEST_CASE(positive_range)
{
    // Positive range tests
    vector<pair<string, string>> tests = {
        {"*", "1.2.3-foo"},
        {"1.0.0 - 2.0.0", "1.2.3"},
        {"1.0.0", "1.0.0"},
        {">=*", "0.2.4"},
        {"*", "1.2.3"},
        {">=1.0.0", "1.0.0"},
        {">=1.0.0", "1.0.1"},
        {">=1.0.0", "1.1.0"},
        {">1.0.0", "1.0.1"},
        {">1.0.0", "1.1.0"},
        {"<=2.0.0", "2.0.0"},
        {"<=2.0.0", "1.9999.9999"},
        {"<=2.0.0", "0.2.9"},
        {"<2.0.0", "1.9999.9999"},
        {"<2.0.0", "0.2.9"},
        {">= 1.0.0", "1.0.0"},
        {">=  1.0.0", "1.0.1"},
        {">=   1.0.0", "1.1.0"},
        {"> 1.0.0", "1.0.1"},
        {">  1.0.0", "1.1.0"},
        {"<=   2.0.0", "2.0.0"},
        {"<= 2.0.0", "1.9999.9999"},
        {"<=  2.0.0", "0.2.9"},
        {"<    2.0.0", "1.9999.9999"},
        {"<\t2.0.0", "0.2.9"},
        {">=0.1.97", "0.1.97"},
        {"0.1.20 || 1.2.4", "1.2.4"},
        {">=0.2.3 || <0.0.1", "0.0.0"},
        {">=0.2.3 || <0.0.1", "0.2.3"},
        {">=0.2.3 || <0.0.1", "0.2.4"},
        {"\"2.x.x\"", "2.1.3"},
        {"1.2.x", "1.2.3"},
        {"\"1.2.x\" || \"2.x\"", "2.1.3"},
        {"\"1.2.x\" || \"2.x\"", "1.2.3"},
        {"x", "1.2.3"},
        {"2.*.*", "2.1.3"},
        {"1.2.*", "1.2.3"},
        {"1.2.* || 2.*", "2.1.3"},
        {"1.2.* || 2.*", "1.2.3"},
        {"*", "1.2.3"},
        {"2", "2.1.2"},
        {"2.3", "2.3.1"},
        {"~2.4", "2.4.0"}, // >=2.4.0 <2.5.0
        {"~2.4", "2.4.5"},
        {"~1", "1.2.3"}, // >=1.0.0 <2.0.0
        {"~1.0", "1.0.2"}, // >=1.0.0 <1.1.0,
        {"~ 1.0", "1.0.2"},
        {"~ 1.0.3", "1.0.12"},
        {">=1", "1.0.0"},
        {">= 1", "1.0.0"},
        {"<1.2", "1.1.1"},
        {"< 1.2", "1.1.1"},
        {"=0.7.x", "0.7.2"},
        {"<=0.7.x", "0.7.2"},
        {">=0.7.x", "0.7.2"},
        {"<=0.7.x", "0.6.2"},
        {"~1.2.1 >=1.2.3", "1.2.3"},
        {"~1.2.1 =1.2.3", "1.2.3"},
        {"~1.2.1 1.2.3", "1.2.3"},
        {"~1.2.1 >=1.2.3 1.2.3", "1.2.3"},
        {"~1.2.1 1.2.3 >=1.2.3", "1.2.3"},
        {">=\"1.2.1\" 1.2.3", "1.2.3"},
        {"1.2.3 >=1.2.1", "1.2.3"},
        {">=1.2.3 >=1.2.1", "1.2.3"},
        {">=1.2.1 >=1.2.3", "1.2.3"},
        {">=1.2", "1.2.8"},
        {"^1.2.3", "1.8.1"},
        {"^0.1.2", "0.1.2"},
        {"^0.1", "0.1.2"},
        {"^1.2", "1.4.2"},
        {"<=1.2.3", "1.2.3-beta"},
        {">1.2", "1.3.0-beta"},
        {"<1.2.3", "1.2.3-beta"},
        {"^1.2 ^1", "1.4.2"}
    };
    for (auto const& t: tests)
    {
        SemVerVersion version(t.second);
        SemVerMatchExpression expression = parseExpression(t.first);
        BOOST_CHECK_MESSAGE(
            expression.matches(version),
            "Version \"" + t.second + "\" did not satisfy expression \"" + t.first + "\""
        );
    }
}

BOOST_AUTO_TEST_CASE(negative_range)
{
    // Positive range tests
    vector<pair<string, string>> tests = {
        {"1.0.0 - 2.0.0", "2.2.3"},
        {"^1.2.3", "1.2.3-pre"},
        {"^1.2", "1.2.0-pre"},
        {"^1.2.3", "1.2.3-beta"},
        {"=0.7.x", "0.7.0-asdf"},
        {">=0.7.x", "0.7.0-asdf"},
        {"1.0.0", "1.0.1"},
        {">=1.0.0", "0.0.0"},
        {">=1.0.0", "0.0.1"},
        {">=1.0.0", "0.1.0"},
        {">1.0.0", "0.0.1"},
        {">1.0.0", "0.1.0"},
        {"<=2.0.0", "3.0.0"},
        {"<=2.0.0", "2.9999.9999"},
        {"<=2.0.0", "2.2.9"},
        {"<2.0.0", "2.9999.9999"},
        {"<2.0.0", "2.2.9"},
        {">=0.1.97", "0.1.93"},
        {"0.1.20 || 1.2.4", "1.2.3"},
        {">=0.2.3 || <0.0.1", "0.0.3"},
        {">=0.2.3 || <0.0.1", "0.2.2"},
        {"\"2.x.x\"", "1.1.3"},
        {"\"2.x.x\"", "3.1.3"},
        {"1.2.x", "1.3.3"},
        {"\"1.2.x\" || \"2.x\"", "3.1.3"},
        {"\"1.2.x\" || \"2.x\"", "1.1.3"},
        {"2.*.*", "1.1.3"},
        {"2.*.*", "3.1.3"},
        {"1.2.*", "1.3.3"},
        {"1.2.* || 2.*", "3.1.3"},
        {"1.2.* || 2.*", "1.1.3"},
        {"2", "1.1.2"},
        {"2.3", "2.4.1"},
        {"~2.4", "2.5.0"}, // >=2.4.0 <2.5.0
        {"~2.4", "2.3.9"},
        {"~1", "0.2.3"}, // >=1.0.0 <2.0.0
        {"~1.0", "1.1.0"}, // >=1.0.0 <1.1.0
        {"<1", "1.0.0"},
        {">=1.2", "1.1.1"},
        {"=0.7.x", "0.8.2"},
        {">=0.7.x", "0.6.2"},
        {"<0.7.x", "0.7.2"},
        {"=1.2.3", "1.2.3-beta"},
        {">1.2", "1.2.8"},
        {"^1.2.3", "2.0.0-alpha"},
        {"^1.2.3", "1.2.2"},
        {"^1.2", "1.1.9"}
    };
    for (auto const& t: tests)
    {
        SemVerVersion version(t.second);
        SemVerMatchExpression expression = parseExpression(t.first);
        BOOST_CHECK_MESSAGE(
            !expression.matches(version),
            "Version \"" + t.second + "\" did satisfy expression \"" + t.first + "\" " +
            "(although it should not)"
        );
    }
}

BOOST_AUTO_TEST_SUITE_END()

}
}
} // end namespaces