protected PMultipleBind getMultipleSetBind ( PExp setExp , ILexNameToken ... patternNames ) { ASetMultipleBind setBind = new ASetMultipleBind ( ) ; List < PPattern > patternList = new Vector < PPattern > ( ) ; for ( ILexNameToken patternName : patternNames ) { AIdentifierPattern pattern = new AIdentifierPattern ( ) ; pattern . setName ( patternName . clone ( ) ) ; patternList . add ( pattern ) ; } setBind . setPlist ( patternList ) ; setBind . setSet ( setExp . clone ( ) ) ; return setBind ; }
Create a multiple set bind with a varargs list of pattern variables like a b c in set S . This is used by several obligations .