public TYPE_1 counter ( java.lang.String name ) { TYPE_1 c = VAR_1 . counter ( name ) ; return METHOD_1 ( name , c ) ; }
public TYPE_1 counter ( java.lang.String name ) { return METHOD_1 ( name , VAR_1 . counter ( name ) ) ; }