Notes

import userlib.DomainConstraint;

public class Person {
@DomainConstraint(type = "Integer", mutable = false, optional = false, min = 1)
private int id;

@DomainConstraint(type = "String", mutable = true, optional = false, length = 50)
private String name;

@DomainConstraint(type = "Mobilephone", mutable = true, optional = true)
private Mobilephone phone;

private static final int LENGTH_NAME = 50;

/**
* @effects <pre>
* if persID, name are valid
* initialise this as <persID,name>
* else
* initialise this as <> and inform error</pre>
*/
public Person(int persID, String name) {
if (validateId(persID)) {
id = persID;
} else {
System.err.println("Invalid person id: " + persID);
return;
}

if (validateName(name)) {
this.name = name;
} else {
System.err.println("Invalid person name: " + name);
return;
}
}

/**
* @effects <pre>
* if name is valid
* set this.name=name
* else
* do nothing</pre>
*/
public void setName(String name) {
if (validateName(name))
this.name = name;
}

public void setPhone(MobilePhone p) {
phone = p;
}

/**
* @effects return <tt>id</tt>
*/
public int getId() {
return id;
}

/**
*
* @effects return <tt>name</tt>
*/
public String getName() {
return name;
}

/**
*
* @effects return <tt>phone</tt>
*/
public Mobilephone getPhone() {
return phone;
}

/**
* @effects <pre>
* if id is valid
* return true
* else
* return false
* </pre>
*/
private boolean validateId(int id) {
if (id < 1) {
return false;
}
return true;
}

/**
* @effects <pre>
* if name is valid
* return true
* else
* return false
* </pre>
*/
private boolean validateName(String name) {
if (name == null || name.length() > LENGTH_NAME) {
return false;
}
return true;
}

/**
* @effects
*/
public void greet() {
System.out.println("hello, my id is " +id+ ", my name is " +name+ ", my phone is " +phone+););
}

@Override
public String toString() {
return "Person:<" + id + "," + name + ">";
}

/**
* @effects <pre>
* if this satisfies abstract properties
* return true
* else
* return false</pre>
*/
public boolean repOK() {
if (!validateId(id) || !validateName(name)) {
return false;
}

return true;
}
}