Searched refs:PR_LEADER_LENGTH (Results 1 – 3 of 3) sorted by relevance
79 leaderLength = pList.get(PR_LEADER_LENGTH).getLengthRange(); in bind()
498 int PR_LEADER_LENGTH = 137; field
2014 m = new LengthRangeProperty.Maker(PR_LEADER_LENGTH); in createLeaderAndRuleProperties()