public interface Specification extends ProgramAnnotation
getPosition, setPosition
accept, accept, acceptChildren, print, printCore, toString, toStringCore