org.chocosolver.parser.handlers.ValSelHandler Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of choco-parsers Show documentation

Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.

The newest version!

/*
 * This file is part of choco-parsers, http://choco-solver.org/
 *
 * Copyright (c) 2024, IMT Atlantique. All rights reserved.
 *
 * Licensed under the BSD 4-clause license.
 *
 * See LICENSE file in the project root for full license information.
 */
package org.chocosolver.parser.handlers;

import org.chocosolver.solver.search.strategy.SearchParams;
import org.kohsuke.args4j.CmdLineException;
import org.kohsuke.args4j.CmdLineParser;
import org.kohsuke.args4j.OptionDef;
import org.kohsuke.args4j.spi.Messages;
import org.kohsuke.args4j.spi.OneArgumentOptionHandler;
import org.kohsuke.args4j.spi.Setter;

/**
 * 

 *
 * @author Charles Prud'homme
 * @since 15/06/2020
 */
public class ValSelHandler extends OneArgumentOptionHandler {

    public ValSelHandler(CmdLineParser parser, OptionDef option, Setter setter) {
        super(parser, option, setter);
    }

    /**
     * Returns {@code "STRING[]"}.
     *
     * @return return "STRING[]";
     */
    @Override
    public String getDefaultMetaVariable() {
        return "[String,boolean,int,boolean]";
    }


    @Override
    protected SearchParams.ValSelConf parse(String argument) throws NumberFormatException, CmdLineException {
        if (argument.startsWith("[")) argument = argument.substring(1);
        if (argument.endsWith("]")) argument = argument.substring(0, argument.length() - 1);
        String[] pars = argument.split(",");
        if (pars.length == 4) {
            return new SearchParams.ValSelConf(
                    SearchParams.ValueSelection.valueOf(pars[0].toUpperCase()),
                    Boolean.parseBoolean(pars[1]),
                    Integer.parseInt(pars[2]),
                    Boolean.parseBoolean(pars[3])
            );
        }
        throw new CmdLineException(owner,
                Messages.ILLEGAL_UUID, argument);
    }
}