jml2b.util
Class Profiler

java.lang.Object
  jml2b.util.Profiler

Direct Known Subclasses:

ClassResolver, ColoredInfo, ContextFromPureMethod, ErrorHandler, ExceptionalBehaviourStack, Exsures, Formula, Goal, GoalStatus, Identifier, IdentifierResolver, Jml2b, JmlLoader, LabeledProofsVector, Lemma, LinkContext, LinkInfo, LinkUtils, Modifiers, ParsedItem, Pog, ProofObligation, QuantifiedVarForm, Serializer, StatementUtils, SubArrayElement, SubArrayElementSingle, SubArrayLength, SubForm, SubInstances, SubMemberField, SubTmpVar, SubTypeof, Tabs, TestSerialize, Theorem, TheoremList, Util, VarDeclParser, VarStack, VirtualFormula

public class Profiler

extends java.lang.Object

This class allows to profile the memory usage of JACK. By default it is commented.

Author:

L. Burdy

Constructor Summary

Profiler()

Method Summary

static void

runGC()

Methods inherited from class java.lang.Object

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

Constructor Detail

Profiler

public Profiler()

Method Detail

runGC

public static void runGC()