Package jadex.bdiv3

Class ASMBDIClassGenerator

java.lang.Object

jadex.bdiv3.AbstractAsmBdiClassGenerator

jadex.bdiv3.ASMBDIClassGenerator

All Implemented Interfaces:

IBDIClassGenerator

Direct Known Subclasses:

ByteKeepingASMBDIClassGenerator

public class ASMBDIClassGenerator
extends AbstractAsmBdiClassGenerator

Nested Class Summary

Nested classes/interfaces inherited from class jadex.bdiv3.AbstractAsmBdiClassGenerator

AbstractAsmBdiClassGenerator.MethodBeliefs

Field Summary

Fields inherited from class jadex.bdiv3.AbstractAsmBdiClassGenerator

nodehelper, ophelper

Fields inherited from interface jadex.bdiv3.IBDIClassGenerator

AGENT_FIELD_NAME, DYNAMIC_BELIEF_UPDATEMETHOD_PREFIX, GLOBALNAME_FIELD_NAME, INIT_EXPRESSIONS_METHOD_PREFIX

Constructor Summary

Constructors

Constructor	Description
ASMBDIClassGenerator()

Method Summary

Modifier and Type	Method	Description
protected void	enhanceSetter(java.lang.String iclname, org.objectweb.asm.tree.MethodNode mn, java.lang.String belname)	Enhance setter method with unobserve oldvalue at the beginning and event call at the end
protected java.util.Set<java.lang.String>	findBeliefs(org.objectweb.asm.tree.ClassNode cn, org.objectweb.asm.tree.MethodNode mn, BDIModel model, java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> others)	Find beliefs accessed in methods.
protected java.util.Set<java.lang.String>	findParameters(org.objectweb.asm.tree.ClassNode cn, org.objectweb.asm.tree.MethodNode mn, BDIModel model, java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> others, MGoal mgoal)	Find parameters accessed in methods.
java.util.List<java.lang.Class<?>>	generateBDIClass(java.lang.String clname, BDIModel model, java.lang.ClassLoader dummycl)	Generate class.
java.util.List<java.lang.Class<?>>	generateBDIClass(java.lang.String clname, BDIModel model, java.lang.ClassLoader dummycl, java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> done)	Generate class.
static void	main(java.lang.String[] args)
protected void	replaceNativeGetter(java.lang.String iclname, org.objectweb.asm.tree.MethodNode mn, java.lang.String belname)	Replace native getter for abstract belief.
protected void	replaceNativeSetter(java.lang.String iclname, org.objectweb.asm.tree.MethodNode mn, java.lang.String belname)	Replace native setter for abstract belief.
java.lang.Class<?>	toClass(java.lang.String name, byte[] data, java.lang.ClassLoader loader, java.security.ProtectionDomain domain)	Transform byte Array into Class and define it in classloader.
java.lang.Class<?>	toClass(java.lang.String name, byte[] data, java.lang.ClassLoader loader, java.security.ProtectionDomain domain, boolean redefine)	Transform byte Array into Class and define it in classloader.
protected void	transformArrayStores(org.objectweb.asm.tree.MethodNode mn, BDIModel model, java.lang.String iclname)	Transform array store instructions for beliefs.
protected void	transformConstructor(org.objectweb.asm.tree.ClassNode cn, org.objectweb.asm.tree.MethodNode mn, BDIModel model, java.util.List<java.lang.String> tododyn, java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> others)

Methods inherited from class jadex.bdiv3.AbstractAsmBdiClassGenerator

addBeliefEventsToConditions, checkEnhanced, findMethodBelief, getGoal, isAgentClass, isAgentOrCapa, isEnhanced, isEnhanced, isGoal, isGoalClass, isPlan, isPlanClass, isPlanMethod, transformClassNode

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ASMBDIClassGenerator

public ASMBDIClassGenerator()

Method Detail

generateBDIClass

public java.util.List<java.lang.Class<?>> generateBDIClass(java.lang.String clname,
                                                           BDIModel model,
                                                           java.lang.ClassLoader dummycl)
                                                    throws JadexBDIGenerationException

Generate class.

Specified by:

generateBDIClass in interface IBDIClassGenerator

Specified by:

generateBDIClass in class AbstractAsmBdiClassGenerator

Returns:

the List of classes generated.

Throws:

JadexBDIGenerationException

generateBDIClass

public java.util.List<java.lang.Class<?>> generateBDIClass(java.lang.String clname,
                                                           BDIModel model,
                                                           java.lang.ClassLoader dummycl,
                                                           java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> done)
                                                    throws JadexBDIGenerationException

Generate class.

Throws:

JadexBDIGenerationException

replaceNativeGetter

protected void replaceNativeGetter(java.lang.String iclname,
                                   org.objectweb.asm.tree.MethodNode mn,
                                   java.lang.String belname)

Description copied from class: AbstractAsmBdiClassGenerator

Replace native getter for abstract belief.

Specified by:

replaceNativeGetter in class AbstractAsmBdiClassGenerator

replaceNativeSetter

protected void replaceNativeSetter(java.lang.String iclname,
                                   org.objectweb.asm.tree.MethodNode mn,
                                   java.lang.String belname)

Description copied from class: AbstractAsmBdiClassGenerator

Replace native setter for abstract belief.

Specified by:

replaceNativeSetter in class AbstractAsmBdiClassGenerator

enhanceSetter

protected void enhanceSetter(java.lang.String iclname,
                             org.objectweb.asm.tree.MethodNode mn,
                             java.lang.String belname)

Description copied from class: AbstractAsmBdiClassGenerator

Enhance setter method with unobserve oldvalue at the beginning and event call at the end

Specified by:

enhanceSetter in class AbstractAsmBdiClassGenerator

transformConstructor

protected void transformConstructor(org.objectweb.asm.tree.ClassNode cn,
                                    org.objectweb.asm.tree.MethodNode mn,
                                    BDIModel model,
                                    java.util.List<java.lang.String> tododyn,
                                    java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> others)

Specified by:

transformConstructor in class AbstractAsmBdiClassGenerator

Parameters:

cn - the class which contains the constructor

mn - The Constructor method node

tododyn - list of dynamic beliefs

transformArrayStores

protected void transformArrayStores(org.objectweb.asm.tree.MethodNode mn,
                                    BDIModel model,
                                    java.lang.String iclname)

Transform array store instructions for beliefs.

Specified by:

transformArrayStores in class AbstractAsmBdiClassGenerator

toClass

public java.lang.Class<?> toClass(java.lang.String name,
                                  byte[] data,
                                  java.lang.ClassLoader loader,
                                  java.security.ProtectionDomain domain)

Transform byte Array into Class and define it in classloader.

Returns:

the loaded class or null, if the class is not valid, such as Map.entry "inner Classes".

toClass

public java.lang.Class<?> toClass(java.lang.String name,
                                  byte[] data,
                                  java.lang.ClassLoader loader,
                                  java.security.ProtectionDomain domain,
                                  boolean redefine)

Transform byte Array into Class and define it in classloader.

Returns:

the loaded class or null, if the class is not valid, such as Map.entry "inner Classes".

findBeliefs

protected java.util.Set<java.lang.String> findBeliefs(org.objectweb.asm.tree.ClassNode cn,
                                                      org.objectweb.asm.tree.MethodNode mn,
                                                      BDIModel model,
                                                      java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> others)

Find beliefs accessed in methods.

Specified by:

findBeliefs in class AbstractAsmBdiClassGenerator

findParameters

protected java.util.Set<java.lang.String> findParameters(org.objectweb.asm.tree.ClassNode cn,
                                                         org.objectweb.asm.tree.MethodNode mn,
                                                         BDIModel model,
                                                         java.util.Map<java.lang.String,org.objectweb.asm.tree.ClassNode> others,
                                                         MGoal mgoal)

Find parameters accessed in methods.

Specified by:

findParameters in class AbstractAsmBdiClassGenerator

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Throws:

java.lang.Exception