io.sarl.lang.jvmmodel.fragments
Class DefaultJvmGenericTypeProvider
All Superinterfaces:
JvmGenericTypeFactory, JvmGenericTypeProvider
class DefaultJvmGenericTypeProvider
extends java.lang.Object
implements JvmGenericTypeFactory, JvmGenericTypeProvider
Factory of JVM type for the 1-to-many generation.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Since:
0.15
Constructor Summary
Constructor and description
new(TypesFactory)
Constructor.
Action Summary
Modifier and type Action and description
JvmGenericTypeFactory createReceiver(int,String)
org.eclipse.xtext.common.types.JvmGenericType getGenericType(int)
boolean hasGeneratedType
Replies if the provider contains generated types.
java.util.stream.Stream<T> stream
Replies the stream on the created JVM types.
Constructor Details
new(TypesFactory)
new(TypesFactory)
Constructor.
Parameters:
jvmTypesFactory - the facotry of JVM types.
Action Details
createReceiver(int,String)
def createReceiver(int,String) : JvmGenericTypeFactory
getGenericType(int)
def getGenericType(int) : org.eclipse.xtext.common.types.JvmGenericType
hasGeneratedType
def hasGeneratedType : boolean
Replies if the provider contains generated types.
Returns:
true if at least one type is generated.
stream
def stream : java.util.stream.Stream<T>
Replies the stream on the created JVM types.
Returns:
the stream, never null .