ASTElement function ( PropertiesFile arg0 , LabelList arg1 ) { ExpandPropRefsAndLabels loc0 = new ExpandPropRefsAndLabels ( arg0 , arg1 ) ; return ( ASTElement ) accept ( loc0 ) ; }
expand property references and labels , return result . property expansion is done recursively . special labels `` deadlock '' , `` init '' and any not in label list are left . concode_field_sep int endColumn concode_elem_sep int beginColumn concode_elem_sep int endLine concode_elem_sep Type type concode_elem_sep int beginLine concode_field_sep String getEndString concode_elem_sep ASTElement findAllVars concode_elem_sep void setEndLine concode_elem_sep boolean hasPosition concode_elem_sep int getEndLine concode_elem_sep ASTElement expandLabels concode_elem_sep void typeCheck concode_elem_sep void typeCheck concode_elem_sep String toTreeString concode_elem_sep String getBeginString concode_elem_sep void setPosition concode_elem_sep void setPosition concode_elem_sep void setPosition concode_elem_sep void setPosition concode_elem_sep void setPosition concode_elem_sep Vector<String> getAllPropRefsRecursively concode_elem_sep ASTElement evaluatePartially concode_elem_sep ASTElement evaluatePartially concode_elem_sep ASTElement evaluatePartially concode_elem_sep Type getTypeIfDefined concode_elem_sep Vector<String> getAllVars concode_elem_sep void setEndColumn concode_elem_sep int getEndColumn concode_elem_sep Vector<String> getAllConstants concode_elem_sep ASTElement replaceVars concode_elem_sep Vector<String> getAllFormulas concode_elem_sep void setBeginColumn concode_elem_sep ASTElement findAllPropRefs concode_elem_sep void setType concode_elem_sep int computeProbNesting concode_elem_sep ASTElement replaceConstants concode_elem_sep Object accept concode_elem_sep ASTElement deepCopy concode_elem_sep void setBeginLine concode_elem_sep int getBeginLine concode_elem_sep ASTElement expandConstants concode_elem_sep ASTElement findAllFormulas concode_elem_sep Type getType concode_elem_sep ASTElement rename concode_elem_sep ASTElement findAllActions concode_elem_sep ASTElement findAllConstants concode_elem_sep void semanticCheck concode_elem_sep int getBeginColumn concode_elem_sep Vector<String> getAllUndefinedConstantsRecursively concode_elem_sep Vector<String> getAllPropRefs concode_elem_sep String toString concode_elem_sep Vector<String> getAllLabels concode_elem_sep ASTElement simplify concode_elem_sep ASTElement expandFormulas concode_elem_sep ASTElement expandFormulas