gov.nasa.jpf.util

Class RepositoryEntry

java.lang.Object

gov.nasa.jpf.util.RepositoryEntry

public class RepositoryEntry
extends java.lang.Object

simple generic structure to hold repository info for source files <2do> extend this to find out what the status of the repository is, i.e. if there are any local modifications, update revision etc.

Constructor Summary

Constructors

Constructor and Description
RepositoryEntry(java.lang.String fileName, java.lang.String repositoryType, java.lang.String repository, java.lang.String revision)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getFileName()
java.lang.String	getRepository()
static RepositoryEntry	getRepositoryEntry(java.lang.String fullFileName)
java.lang.String	getRepositoryType()
java.lang.String	getRevision()

Methods inherited from class java.lang.Object

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

Constructor Detail

RepositoryEntry

public RepositoryEntry(java.lang.String fileName,
                       java.lang.String repositoryType,
                       java.lang.String repository,
                       java.lang.String revision)

Method Detail

getRepositoryEntry

public static RepositoryEntry getRepositoryEntry(java.lang.String fullFileName)

getFileName

public java.lang.String getFileName()

getRepositoryType

public java.lang.String getRepositoryType()

getRepository

public java.lang.String getRepository()

getRevision

public java.lang.String getRevision()