de.uka.ilkd.key.java

Class ProgramPrefixUtil

java.lang.Object

de.uka.ilkd.key.java.ProgramPrefixUtil

public class ProgramPrefixUtil
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ProgramPrefixUtil.ProgramPrefixInfo

Constructor Summary

Constructors

Constructor and Description
ProgramPrefixUtil()

Method Summary

Modifier and Type	Method and Description
static ProgramPrefixUtil.ProgramPrefixInfo	computeEssentials(ProgramPrefix prefix)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramPrefixUtil

public ProgramPrefixUtil()

Method Detail

computeEssentials

public static ProgramPrefixUtil.ProgramPrefixInfo computeEssentials(ProgramPrefix prefix)