package Ġio . gitlab . art urb os ch . de te kt . rules . bugs Ċ Ċ import Ġio . gitlab . art urb os ch . de te kt . api . Config Ċ import Ġio . gitlab . art urb os ch . de te kt . test . Kt Test Compiler Ċ import Ġio . gitlab . art urb os ch . de te kt . test . compile And Lint WithContext Ċ import Ġorg . assertj . core . api . Assertions . assertThat Ċ import Ġorg . spe k framework . spe k 2 . Spe k Ċ import Ġorg . spe k framework . spe k 2 . style . specification . describe Ċ Ċ class ĠImp licit Default Locale Spec Ġ: ĠSpe k ({ ĊĠĠĠ Ġval Ġsubject Ġby Ġmemoized Ġ{ ĠImp licit Default Locale ( Config . empty ) Ġ} ĊĊĠĠĠ Ġval Ġwrapper Ġby Ġmemoized ( ĊĠĠĠĠĠĠĠ Ġfactory Ġ= Ġ{ ĠK t Test Compiler . create Environment () Ġ}, ĊĠĠĠĠĠĠĠ Ġdestructor Ġ= Ġ{ Ġit . dispose () Ġ} ĊĠĠĠ Ġ) ĊĊĠĠĠ Ġdescribe (" Implicit Default Ġrule ") Ġ{ ĊĊĠĠĠĠĠĠĠ Ġit (" reports ĠString . format Ġcall Ġwith Ġtemplate Ġbut Ġwithout Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠString . format ("% d ", Ġ 1 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). has Size ( 1 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" does Ġnot Ġreport ĠString . format Ġcall Ġwith Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġimport Ġjava . util . Locale ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠString . format ( Locale . US , Ġ"% d ", Ġ 1 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). isEmpty () ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" reports ĠString . toUpperCase () Ġcall Ġwithout Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġs Ġ= Ġ" dead beef " ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġs . toUpperCase () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). has Size ( 1 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" does Ġnot Ġreport ĠString . toUpperCase () Ġcall Ġwith Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġimport Ġjava . util . Locale ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġs Ġ= Ġ" dead beef " ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġs . toUpperCase ( Locale . US ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). isEmpty () ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" reports ĠString . toLowerCase () Ġcall Ġwithout Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġs Ġ= Ġ" dead beef " ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġs . toLowerCase () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). has Size ( 1 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" does Ġnot Ġreport ĠString . toLowerCase () Ġcall Ġwith Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġimport Ġjava . util . Locale ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġs Ġ= Ġ" dead beef " ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġs . toLowerCase ( Locale . US ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). isEmpty () ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" reports ĠString ?. toUpperCase () Ġcall Ġwithout Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġs : ĠString ? Ġ= Ġ" dead beef " ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġs ?. toUpperCase () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). has Size ( 1 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġit (" reports ĠString ?. toLowerCase () Ġcall Ġwithout Ġexplicit Ġlocale ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġcode Ġ= Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġx () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġs : ĠString ? Ġ= Ġ" dead beef " ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġs ?. toLowerCase () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} """ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertThat ( subject . compile And Lint WithContext ( wrapper . env , Ġcode )). has Size ( 1 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }) Ċ