<div dir="ltr"><div>Oh, the class is abstract, so you're meant to provide A by subclassing it, not by instantiating. In that case, the value of A *is* retained at runtime and is available for reflection, even if method signatures are still erased to Object.</div><div>In ABCL there used to be some runtime-class machinery that was just a sketch... I don't know if it's still there and has enough plumbing to allow you to subclass a generic class providing type specifiers.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 20 Jul 2020 at 18:49, Mark Evenson <<a href="mailto:evenson@panix.com">evenson@panix.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
> On Jul 16, 2020, at 04:30, Alan Ruttenberg <<a href="mailto:alanruttenberg@gmail.com" target="_blank">alanruttenberg@gmail.com</a>> wrote:<br>
> <br>
> For instance in <br>
> <br>
> <a href="http://owlcs.github.io/owlapi/apidocs_4/org/semanticweb/owlapi/util/InferredObjectPropertyAxiomGenerator.html" rel="noreferrer" target="_blank">http://owlcs.github.io/owlapi/apidocs_4/org/semanticweb/owlapi/util/InferredObjectPropertyAxiomGenerator.html</a><br>
> <br>
> It says:<br>
> Type Parameters:<br>
> A - the axiom type<br>
> Question is: how do I supply the axiom type when creating an instance.<br>
<br>
Can you point me to some code that does the setup?  Somewhere in lsw2?<br>
<br>
Alessio is correct that the compiler erases types, but I have sucessfully<br>
created instances that switch such methods over the years working on reasoners,<br>
so I should be able to get this to work for you.  Unfortunately the margin is<br>
too small to contain a proof of this statement without further annotation…<br>
<br>
-- <br>
"A screaming comes across the sky.  It has happened before but there is nothing <br>
to compare to it now."<br>
<br>
<br>
<br>
<br>
<br>
<br>
</blockquote></div>