void function ( ) { Principal loc0 = process ( "srini_string" ) ; assertEquals ( "srini_string" , loc0 . getName ( ) ) ; }
this test is for the use case when the shared state has a principal that is of java.lang.string type concode_field_sep String key concode_field_sep void testMissedExpression concode_elem_sep Principal process concode_elem_sep void testUsingPrincipal