equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 1999, 2014, Oracle and/or its affiliates. All rights reserved. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * |
4 * |
5 * This code is free software; you can redistribute it and/or modify it |
5 * This code is free software; you can redistribute it and/or modify it |
6 * under the terms of the GNU General Public License version 2 only, as |
6 * under the terms of the GNU General Public License version 2 only, as |
7 * published by the Free Software Foundation. |
7 * published by the Free Software Foundation. |
173 // type operations |
173 // type operations |
174 ValueType* meet(ValueType* y) const; |
174 ValueType* meet(ValueType* y) const; |
175 ValueType* join(ValueType* y) const; |
175 ValueType* join(ValueType* y) const; |
176 |
176 |
177 // debugging |
177 // debugging |
178 void print(outputStream* s = tty) { s->print(name()); } |
178 void print(outputStream* s = tty) { s->print("%s", name()); } |
179 }; |
179 }; |
180 |
180 |
181 |
181 |
182 class VoidType: public ValueType { |
182 class VoidType: public ValueType { |
183 public: |
183 public: |