public interface ForallDescrBuilder<P extends DescrBuilder<?,?>> extends PatternContainerDescrBuilder<ForallDescrBuilder<P>,ForallDescr>, DescrBuilder<P,ForallDescr>
getDescr, pattern, pattern
end, endCharacter, endLocation, getDescr, startCharacter, startLocation
Copyright © 2001–2015 JBoss by Red Hat. All rights reserved.