14514f5e3Sopenharmony_ci/*
24514f5e3Sopenharmony_ci * Copyright (c) 2024 Huawei Device Co., Ltd.
34514f5e3Sopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
44514f5e3Sopenharmony_ci * you may not use this file except in compliance with the License.
54514f5e3Sopenharmony_ci * You may obtain a copy of the License at
64514f5e3Sopenharmony_ci *
74514f5e3Sopenharmony_ci *     http://www.apache.org/licenses/LICENSE-2.0
84514f5e3Sopenharmony_ci *
94514f5e3Sopenharmony_ci * Unless required by applicable law or agreed to in writing, software
104514f5e3Sopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
114514f5e3Sopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
124514f5e3Sopenharmony_ci * See the License for the specific language governing permissions and
134514f5e3Sopenharmony_ci * limitations under the License.
144514f5e3Sopenharmony_ci */
154514f5e3Sopenharmony_ci
164514f5e3Sopenharmony_cideclare function print(arg:any):string;
174514f5e3Sopenharmony_ci
184514f5e3Sopenharmony_ci//aot: [trace] aot inline builtin: Number.isInteger, caller function name:func_main_0@builtinNumberIsInteger
194514f5e3Sopenharmony_ciprint(Number.isInteger(true)); //: false
204514f5e3Sopenharmony_ci//aot: [trace] aot inline builtin: Number.isInteger, caller function name:func_main_0@builtinNumberIsInteger
214514f5e3Sopenharmony_ciprint(Number.isInteger(false)); //: false
224514f5e3Sopenharmony_ci
234514f5e3Sopenharmony_ci//aot: [trace] aot inline builtin: Number.isSafeInteger, caller function name:func_main_0@builtinNumberIsInteger
244514f5e3Sopenharmony_ciprint(Number.isSafeInteger(true)); //: false
254514f5e3Sopenharmony_ci//aot: [trace] aot inline builtin: Number.isSafeInteger, caller function name:func_main_0@builtinNumberIsInteger
264514f5e3Sopenharmony_ciprint(Number.isSafeInteger(false)); //: false
27