comparison graal/com.oracle.max.cri/src/com/oracle/max/cri/xir/XirSite.java @ 4998:985fbd8adf65

cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 01 Mar 2012 12:04:37 +0100
parents aaac4894175c
children 5e6f1026a63e
comparison
equal deleted inserted replaced
4996:11ce128f8d28 4998:985fbd8adf65
73 /** 73 /**
74 * Checks whether this site requires an array store check. 74 * Checks whether this site requires an array store check.
75 * @return {@code true} if an array store check is required 75 * @return {@code true} if an array store check is required
76 */ 76 */
77 boolean requiresArrayStoreCheck(); 77 boolean requiresArrayStoreCheck();
78
79 /**
80 * Checks whether an approximation of the type for the specified argument is available.
81 * @param argument the argument
82 * @return an {@link RiType} indicating the most specific type known for the argument, if any;
83 * {@code null} if no particular type is known
84 */
85 RiType getApproximateType(XirArgument argument);
86
87 /**
88 * Checks whether an exact type is known for the specified argument.
89 * @param argument the argument
90 * @return an {@link RiType} indicating the exact type known for the argument, if any;
91 * {@code null} if no particular type is known
92 */
93 RiType getExactType(XirArgument argument);
94 } 78 }