// This file is part of CPAchecker,
// a tool for configurable software verification:
// https://cpachecker.sosy-lab.org
//
// SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
//
// SPDX-License-Identifier: Apache-2.0

package pack5;

public class SubType1 extends SuperType1 implements Interface1 {


  int subNum1;
  int subNum2;

  public SubType1(){

    super();
    subNum1 = 0;
    subNum2 = 0;
    num1 = 0;
    num2 = 0;
  }


  public SubType1(int num1 , int num2){

    super();
    subNum1 = num1;
    subNum2 = num2;
    super.num1 = num1 + num2;
    super.num2 = num1 * num2;
  }

  public SubType1(int num1 , int num2, int superNum1 , int superNum2){

    super(superNum1, superNum2);
    subNum1 = num1;
    subNum2 = num2;
  }



  public int getNum1(){
    return subNum1;
  }

  public int getNum2(){
    return subNum2;
  }

  @Override
  public boolean  compare() {

    boolean c;

    c = subNum1 == subNum2 && num1 == num2;


    return   c;
  }

  public int add(){
    return subNum1 + subNum2;
  }

  public int addAll() {
  return subNum1 + subNum2 + super.add();
  }

}
