void function ( String arg0 , Location arg1 ) { checkReadonly ( arg0 , arg1 ) ; if ( parent == null ) { readOnlyVariables . add ( arg0 ) ; if ( ! futureReadOnlyVariables . isEmpty ( ) ) { futureReadOnlyVariables . peek ( ) . add ( arg0 ) ; } } variables . add ( arg0 ) ; variableLocations . put ( arg0 , arg1 ) ; }
declare a variable and add it to the environment . concode_field_sep ValidationEnvironment parent concode_elem_sep Set<String> variables concode_elem_sep Stack<Set<String>> futureReadOnlyVariables concode_elem_sep Map<String,Location> variableLocations concode_elem_sep int loopCount concode_elem_sep Set<String> readOnlyVariables concode_field_sep void startTemporarilyDisableReadonlyCheckSession concode_elem_sep void finishTemporarilyDisableReadonlyCheckBranch concode_elem_sep void validateAst concode_elem_sep void enterLoop concode_elem_sep void exitLoop concode_elem_sep boolean hasSymbolInEnvironment concode_elem_sep boolean isInsideLoop concode_elem_sep ValidationEnvironment topLevel concode_elem_sep boolean isTopLevel concode_elem_sep void checkReadonly concode_elem_sep void finishTemporarilyDisableReadonlyCheckSession