001/*
002 *  Licensed to the Apache Software Foundation (ASF) under one
003 *  or more contributor license agreements.  See the NOTICE file
004 *  distributed with this work for additional information
005 *  regarding copyright ownership.  The ASF licenses this file
006 *  to you under the Apache License, Version 2.0 (the
007 *  "License"); you may not use this file except in compliance
008 *  with the License.  You may obtain a copy of the License at
009 *
010 *        http://www.apache.org/licenses/LICENSE-2.0
011 *
012 *  Unless required by applicable law or agreed to in writing,
013 *  software distributed under the License is distributed on an
014 *  "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
015 *  KIND, either express or implied.  See the License for the
016 *  specific language governing permissions and limitations
017 *  under the License.
018 */
019package org.apache.isis.core.progmodel.facets.properties.javaxvaldigits;
020
021import org.apache.isis.core.metamodel.facetapi.Facet;
022import org.apache.isis.core.metamodel.facetapi.FacetHolder;
023import org.apache.isis.core.progmodel.facets.value.bigdecimal.BigDecimalValueFacet;
024import org.apache.isis.core.progmodel.facets.value.bigdecimal.BigDecimalValueFacetAbstract;
025
026
027public class BigDecimalFacetForPropertyFromJavaxValidationDigitsAnnotation extends BigDecimalValueFacetAbstract {
028
029    private final int precision;
030    private final int scale;
031
032    public static Class<? extends Facet> type() {
033        return BigDecimalValueFacet.class;
034    }
035
036    public BigDecimalFacetForPropertyFromJavaxValidationDigitsAnnotation(final FacetHolder holder, final Integer precision, final Integer scale) {
037        super(BigDecimalFacetForPropertyFromJavaxValidationDigitsAnnotation.type(), holder, Derivation.NOT_DERIVED);
038        this.precision = precision;
039        this.scale = scale;
040    }
041
042    @Override
043    public Integer getPrecision() {
044        return precision;
045    }
046
047    @Override
048    public Integer getScale() {
049        return scale;
050    }
051}