Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
signature
/
SignatureConcatenation.java
blob: c9bef1bb6a3f9f7c1a9a06636d30edcabdcc3426 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
signature
.
qual
.*;
public
class
SignatureConcatenation
{
@ClassGetSimpleName
String
m
(
@ClassGetSimpleName
String
arg1
,
@ClassGetSimpleName
String
arg2
)
{
// :: error: (return)
return
arg1
+
arg2
;
}
}