scale.annot
Class CreatorSource

java.lang.Object
  scale.annot.Creator
      scale.annot.CreatorSource

public class CreatorSource
extends Creator

This class is used to indicate that the annotation came from the source program.

$Id: CreatorSource.java,v 1.14 2007-08-13 12:32:02 burrill Exp $

Copyright 2007 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

Constructor Summary

CreatorSource(java.lang.String n)

Method Summary

Methods inherited from class scale.annot.Creator

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

CreatorSource

public CreatorSource(java.lang.String n)

Parameters:

n - name of creator of the annotation. Used for debugging and display.