1 | /* |
---|---|
2 | * Copyright (C) 2007-2010 JĂșlio Vilmar Gesser. |
3 | * Copyright (C) 2011, 2013-2020 The JavaParser Team. |
4 | * |
5 | * This file is part of JavaParser. |
6 | * |
7 | * JavaParser can be used either under the terms of |
8 | * a) the GNU Lesser General Public License as published by |
9 | * the Free Software Foundation, either version 3 of the License, or |
10 | * (at your option) any later version. |
11 | * b) the terms of the Apache License |
12 | * |
13 | * You should have received a copy of both licenses in LICENCE.LGPL and |
14 | * LICENCE.APACHE. Please refer to those files for details. |
15 | * |
16 | * JavaParser is distributed in the hope that it will be useful, |
17 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
18 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
19 | * GNU Lesser General Public License for more details. |
20 | */ |
21 | |
22 | package com.github.javaparser.resolution.types; |
23 | |
24 | public class ResolvedLambdaConstraintType implements ResolvedType { |
25 | private ResolvedType bound; |
26 | |
27 | private ResolvedLambdaConstraintType(ResolvedType bound) { |
28 | this.bound = bound; |
29 | } |
30 | |
31 | @Override |
32 | public String describe() { |
33 | return "? super " + bound.describe(); |
34 | } |
35 | |
36 | public ResolvedType getBound() { |
37 | return bound; |
38 | } |
39 | |
40 | @Override |
41 | public boolean isConstraint() { |
42 | return true; |
43 | } |
44 | |
45 | @Override |
46 | public ResolvedLambdaConstraintType asConstraintType() { |
47 | return this; |
48 | } |
49 | |
50 | public static ResolvedLambdaConstraintType bound(ResolvedType bound){ |
51 | return new ResolvedLambdaConstraintType(bound); |
52 | } |
53 | |
54 | @Override |
55 | public boolean isAssignableBy(ResolvedType other) { |
56 | return bound.isAssignableBy(other); |
57 | } |
58 | |
59 | @Override |
60 | public String toString() { |
61 | return "LambdaConstraintType{" + |
62 | "bound=" + bound + |
63 | '}'; |
64 | } |
65 | } |
66 |
Members