Table of Contents

Previous Chapter

SDT 3.01
Reference Manual

Telelogic AB Phone +46 40-174700

Box 4128 Telefax +46 40-174747

S-203 12 MALMÖ E-Mail support@telelogic.se

SWEDEN

SDT 3.01

Credits to:

Michael Andersson

Tord Andreasson

Johan Bergstrand

Per Beremark

Per Blysa

Ulf Dahlén

Jan Docekal

Anders Ek

Petra Ericson

Ola Eklundh

Jan Ellsberger

Tommy Eriksson

Ib Green

Catarina Görtz

Magnus Herner

Carl Olof Hydbom

Henric Isacsson

Jan Karlsson

Jan Lindh

Tomas Lundh

Eric Lundquist

Pär Madsen

Thomas Michanek

Carl Eric Mols

Piotr Nestorow

Gert Nilsson

Per-Olov Nilsson

Håkan Rusk

Lars Råwall

Henrik Sundström

John Svensson

Jon Stephenson von Tetzchner

Lars Tufvesson

Hugo Tullberg

Björn Waldt

Björn Yndén

Copyrights

All rights reserved. No part of this publication may be reproduced, transmitted, transcribed, stored in a retrieval system or translated into any language in any form by any means without the written permission of Telelogic. Information in this document is subject to change without notice.

Telelogic provides this publication "As Is" without warranty of any kind, either expressed or limited. Telelogic may revise this publication from time to time without notice.

Software License Notice

Other Software

giftoppm and ppmtoxpm are Copyright (C) 1991 Rainer Klute
Permission to use, copy, modify, distribute, and sell this software and its documentation for any purpose is hereby granted without fee, provided that the above copyright notice appear in all copies and that both that copyright notice and this permission notice appear in supporting documentation, and that the copyright holder's name not be used in advertising or publicity pertaining to distribution of the software without specific, written prior permission. The copyright holder makes no representations about the suitability of this software for any purpose. It is provided "as is" without express or implied warranty.

Trademarks

FrameMaker, FrameReader and FrameViewer are registered trademarks of Frame Technology Corporation.

Hewlett-Packard is a registered trademark of Hewlett-Packard Corporation.

IARC51 is a trademark of IAR, Incorporated.

IBM is a registered trademark of International Business Machines Corporation.

Interleaf is a registered trademark of Interleaf, Incorporated.

ITEX is a trademark of Telelogic.

Microsoft, MS and MS-DOS are registered trademarks of Microsoft Corporation.

Netscape is a registered trademark of Netscape Communications Corporation.

Oasys is a trademark of XEL, Incorporated.

OSE is a registered trademark of ENEA DATA AB.

OSF, OSF/Motif and Motif are trademarks of Open Software Foundation, Inc.

Personal System/2, PS/2, MicroChannel, RISC System/6000 and AIX are trademarks of International Business Machines Corporation.

PostScript is a registered trademark of Adobe Systems, Inc.

pSOS+ is a trademark of Integrated Systems, Inc.

SDT is a trademark of Telelogic.

Solaris, Sun Microsystem, SPARCstation, Sun Workstation and NFS are trademarks of Sun Microsystems, Incorporated.

TeleUse is a registered trademark of Alsys.

UNIX is a registered trademark of AT&T Bell laboratories, Incorporated.

Microtec and VRTX are registered trademarks of Microtec Research, Inc.

VxGDB and VxSim are trademarks of Wind River Systems, Inc.

VxWorks is a registered trademark of Wind River Systems, Inc.

Windows and Windows/386 are trademarks of Microsoft Corporation.

X Window System is a trademark of the Massachusetts Institute of Technology.

XRAY is a trademark of Microtec Research, Inc.

About this Manual

The following chapters are included:

• SDT On-Line Help
  
• The SDT Graphical User Interface
  
• The SDT Organizer
  
• The SDL Editor
  
• The Type Viewer
  
• The MSC Editor
  
• The Search List Manager
  
• The Cross Reference Viewer
  
• The Coverage Viewer
  
• The Print Utility
  
• The Preference Manager
  
• The Analyzer
  
• The Simulator
  
• The Validator
  
• The C Code Generator
  
• The ADT Library
  
• The Master Library
  
• The Performance Library
  
• The SDL to CHILL Translator
  
• The CSDL Code Generator
  
• The Information Server
  
• References in SDT-3
  
• The SDT PostMaster
  
• The SDT Public Interface
  
• The Cmicro Generator
  
• The Cmicro Library
  
• The Cmicro Tester.
  

Documentation Guide

• Contents of the volumes making up the documentation
  
• Reading Advice for the documentation
  
• Typographic Conventions used in all volumes.
  

Table of Contents

Next Chapter