¿¹Á¦

public class ClassA {{
public ClassA () {
}

public int methodA () {
}
}


¼Ö·ç¼Ç
@post Javadoc ű׸¦ public ¸Þ¼Òµå Javadoc ÁÖ¼®¿¡ »ç¿ëÇϽʽÿÀ.

public class ClassA {
public ClassA () {
}

/**
* @post the post condition goes here
*/
public int methodA () {
}

}