Package it.unive.lisa.program

Class Application

  • public class Application
extends java.lang.Object
    An complete application, collecting several Programs that need to be analyzed together. While each program is built through a single programming language, an application is a complete and possibly multilanguage system.

    • Constructor Summary

      Constructors 
      Constructor Description
      Application​(Program... programs)
      Builds the application.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Collection<CFG> getAllCFGs()
      Yields the lazily computed collection of all CFGs defined in all Programs of this application.
      java.util.Collection<CodeMember> getAllCodeCodeMembers()
      Yields the lazily computed collection of all CodeMembers defined in all Programs of this application.
      java.util.Collection<CFG> getEntryPoints()
      Yields the lazily computed collection of all CFGs that are entrypoints of one of the Programs of this application.
      Program[] getPrograms()
      Yields the program that build this application.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • Application

        public Application​(Program... programs)
        Builds the application.
        Parameters:
        programs - the programs composing the application

    • Method Detail

      • getPrograms

        public Program[] getPrograms()
        Yields the program that build this application.
        Returns:
        the programs

      • getAllCFGs

        public java.util.Collection<CFG> getAllCFGs()
        Yields the lazily computed collection of all CFGs defined in all Programs of this application.
        Returns:
        the cfgs

      • getEntryPoints

        public java.util.Collection<CFG> getEntryPoints()
        Yields the lazily computed collection of all CFGs that are entrypoints of one of the Programs of this application.
        Returns:
        the entrypoints

      • getAllCodeCodeMembers

        public java.util.Collection<CodeMember> getAllCodeCodeMembers()
        Yields the lazily computed collection of all CodeMembers defined in all Programs of this application.
        Returns:
        the code members