public class PrecedenceDef extends Object
Constructor and Description |
---|
PrecedenceDef(String name,
PrecedenceDefEntry[] entries) |
public PrecedenceDef(String name, PrecedenceDefEntry[] entries)
public PrecedenceDefEntry[] getEntries()
public String getName()
Copyright © 2013 JBoss, a division of Red Hat, Inc.. All Rights Reserved.