com.rosetta.test.conditionfunc.model.meta.Z3Meta Maven / Gradle / Ivy
package com.rosetta.test.conditionfunc.model.meta;
import com.rosetta.model.lib.annotations.RosettaMeta;
import com.rosetta.model.lib.meta.RosettaMetaData;
import com.rosetta.model.lib.qualify.QualifyFunctionFactory;
import com.rosetta.model.lib.qualify.QualifyResult;
import com.rosetta.model.lib.validation.Validator;
import com.rosetta.model.lib.validation.ValidatorFactory;
import com.rosetta.model.lib.validation.ValidatorWithArg;
import com.rosetta.test.conditionfunc.model.Z3;
import com.rosetta.test.conditionfunc.model.validation.Z3TypeFormatValidator;
import com.rosetta.test.conditionfunc.model.validation.Z3Validator;
import com.rosetta.test.conditionfunc.model.validation.exists.Z3OnlyExistsValidator;
import java.util.Arrays;
import java.util.Collections;
import java.util.List;
import java.util.Set;
import java.util.function.Function;
/**
* @version test
*/
@RosettaMeta(model=Z3.class)
public class Z3Meta implements RosettaMetaData {
@Override
public List> dataRules(ValidatorFactory factory) {
return Arrays.asList(
);
}
@Override
public List> getQualifyFunctions(QualifyFunctionFactory factory) {
return Collections.emptyList();
}
@Override
public Validator validator() {
return new Z3Validator();
}
@Override
public Validator typeFormatValidator() {
return new Z3TypeFormatValidator();
}
@Override
public ValidatorWithArg> onlyExistsValidator() {
return new Z3OnlyExistsValidator();
}
}