Page History

public final class CreditCardHometown implements java.io.Serializable {

  //private Private internal state
  private String credit_cardtown;
  private static final String DEFAULTUNKNOWN = "DEFAULTUNKNOWN";

  public CreditCardvoid performSecurityManagerCheck() throws AccessDeniedException {
    // ...
  }

  void validateInput(String newCC) throws InvalidInputException {
    // ...
  }

  public Hometown() {
    performSecurityManagerCheck();

    //initialize credit_card Initialize town to default value
    credit_card = DEFAULTtown = UNKNOWN;
  }

  // Allows callers to retrieve internal state
  String getValue() {
    performSecurityManagerCheck();
    return town;
  }

  //allows Allows callers to modify (private) internal state
  public void changeCCchangeTown(String newCCnewTown) {
    if (credit_cardtown.equals(newCCnewTown)) {
      // noNo change
      return;
    } else {  
      performSecurityManagerCheck();
      validateInput(newCCnewTown);
      credit_cardtown = newCCnewTown;
    }
  }

  private void writeObject(ObjectOutputStream out)  // readObject correctly enforces checks during deserializationthrows IOException {
    out.writeObject(town);
  }

  private void readObject(java.io.ObjectInputStream in) throws IOException {
    in.defaultReadObject();
    // ifIf the deserialized name does not match the default value normally
    // created at construction time, duplicate the checks
    if (!DEFAULTUNKNOWN.equals(credit_cardtown)) {
      validateInput(credit_cardtown);
    }
  }

  // allows callers to retrieve internal state
  public String getValue() {
    return somePublicValue;
  }

  // writeObject correctly enforces checks during serialization
  private void writeObject(java.io.ObjectOutputStream out) {
    out.writeObject(credit_card);
  }
}

}

public final class SecureCreditCardHometown implements java.io.Serializable {

  //private internal state
  private String credit_card;
  private static final String DEFAULT = "DEFAULT";... All methods the same except the following:

  public// SecureCreditCardwriteObject() {
correctly enforces checks  //initialize credit_card to default value
    credit_card = DEFAULT;
  }

  //allows callers to modify (private) internal state
  public void changeCC(String newCC) {
    if (credit_card.equals(newCC))during serialization
  private void writeObject(ObjectOutputStream out) throws IOException {
      // no change
      return;
    } else {
      // check permissions to modify credit_card
      performSecurityManagerCheck();
      validateInput(newCCout.writeObject(town);
      credit_card = newCC;
    }
  }

  // readObject() correctly enforces checks during deserialization
  private void readObject(java.io.ObjectInputStream in) throws IOException {
    in.defaultReadObject();
    // ifIf the deserialized name does not match the default value normally
    // created at construction time, duplicate the checks
    if (!DEFAULTUNKNOWN.equals(credit_cardtown)) {
      performSecurityManagerCheck();
      validateInput(credit_cardtown);
    }
  }

  // allows callers to retrieve internal state
  public String getValue() {
  // check permission to get value
    performSecurityManagerCheck();
    return somePublicValue;
  }

  // writeObject correctly enforces checks during serialization
  private void writeObject(java.io.ObjectOutputStream out) {
    // duplicate check from getValue()
    performSecurityManagerCheck();
    out.writeObject(credit_card);
  }
}

}