13af6ab5fSopenharmony_ci/* 23af6ab5fSopenharmony_ci * Copyright (c) 2024 Huawei Device Co., Ltd. 33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License"); 43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License. 53af6ab5fSopenharmony_ci * You may obtain a copy of the License at 63af6ab5fSopenharmony_ci * 73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0 83af6ab5fSopenharmony_ci * 93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software 103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS, 113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and 133af6ab5fSopenharmony_ci * limitations under the License. 143af6ab5fSopenharmony_ci */ 153af6ab5fSopenharmony_ci 163af6ab5fSopenharmony_ciclass C<T> { 173af6ab5fSopenharmony_ci constructor (p: T) { this.v = p; } 183af6ab5fSopenharmony_ci v : T; 193af6ab5fSopenharmony_ci} 203af6ab5fSopenharmony_ci 213af6ab5fSopenharmony_citype Alias1Function<T> = (p : T) => double; 223af6ab5fSopenharmony_citype Alias2Function<T> = (p : double) => T; 233af6ab5fSopenharmony_citype Alias3Function<T> = (p : Int) => T[]; 243af6ab5fSopenharmony_citype Alias4Function<T> = (p : T[], q: T) => double; 253af6ab5fSopenharmony_citype Alias5Function<T1, T2> = (p : T1[], q: T2) => double; 263af6ab5fSopenharmony_citype Alias6Function<T1, T2, R> = (p : T1, q: T2) => R; 273af6ab5fSopenharmony_citype Alias7Function<T> = (p : (p1 : C<T>) => double, q : double) => double; 283af6ab5fSopenharmony_ci 293af6ab5fSopenharmony_cifunction main() { 303af6ab5fSopenharmony_ci let v1 : (p : double) => double = (p : double) : double => { return p; }; // (p:Double) => Double 313af6ab5fSopenharmony_ci assert(v1(1) == 1); 323af6ab5fSopenharmony_ci 333af6ab5fSopenharmony_ci let v2 : Alias1Function<double> = (p : double) : double => { return p; }; // (p:Double) => Double 343af6ab5fSopenharmony_ci assert(v2(2) == 2); 353af6ab5fSopenharmony_ci 363af6ab5fSopenharmony_ci let v3 : Alias2Function<double> = (p : double) : double => { return p; }; // (p:Double) => Double 373af6ab5fSopenharmony_ci assert(v3(3) == 3); 383af6ab5fSopenharmony_ci 393af6ab5fSopenharmony_ci let v4 : Alias3Function<double> = (p : Int) : double[] => { return [p]; }; // (p:Double) => double[] 403af6ab5fSopenharmony_ci assert(v4(4)[0] == 4); 413af6ab5fSopenharmony_ci 423af6ab5fSopenharmony_ci // let v5 : Alias4Function<double> = (p : double[], q: double) : double => { return p[0]; }; // (p: Double[], q: Double) => Double 433af6ab5fSopenharmony_ci // assert(v5([5.0], 6) == 5); 443af6ab5fSopenharmony_ci 453af6ab5fSopenharmony_ci let v6 : Alias5Function<double, double> = (p : double[], q: double) : double => { return p[0]; }; // (p: double[], q: Double) => Double 463af6ab5fSopenharmony_ci assert(v6([7.0], 8) == 7.0); 473af6ab5fSopenharmony_ci 483af6ab5fSopenharmony_ci let v7 : Alias6Function<double, double, double> = (p: double, q: double) : double => { return p + q; }; // (p: Double, q: Double) => Double 493af6ab5fSopenharmony_ci assert(v7(9, 10) == 19); 503af6ab5fSopenharmony_ci 513af6ab5fSopenharmony_ci let v9 : Alias7Function<double> = (p : (p1 : C<double>) => double, q: double) : double => { return p(new C<double>(q)); }; // (p : (p1 : C<Double) => Double, Double) : Double 523af6ab5fSopenharmony_ci assert(v9((p : C<double>) : double => { return p.v;}, 20) == 20); 533af6ab5fSopenharmony_ci} 54