Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
framework
/
tests
/
flowexpression
/
BinaryOperations.java
blob: 8b36de6977a7979c826c447e3a09dfa2729d4dca [
file
] [
log
] [
blame
]
package
flowexpression
;
import
org
.
checkerframework
.
framework
.
testchecker
.
flowexpression
.
qual
.
FlowExp
;
public
class
BinaryOperations
{
void
method
(
int
i
,
int
j
,
@FlowExp
(
"#1+#2"
)
String
s
)
{
@FlowExp
(
"i+j"
)
String
q
=
s
;
}
}